En mulighed ville være at lave zadd leaderboard highscore.(Long.MAX_VALUE - timestamp) player_id.attempt_number
(skift Long.MAX_VALUE til hvad der er en rimelig højest mulig værdi for dit tidsstempel - En signeret 64 bit int vil gemme omkring 300 millioner år i milisekunder, så det er måske ikke nødvendigt)
EDIT:Glem ikke at tilføje foranstillede nuller :)