Een optie zou zijn om zadd leaderboard highscore.(Long.MAX_VALUE - timestamp) player_id.attempt_number te doen (verander Long.MAX_VALUE in wat een redelijk hoogst mogelijke waarde is voor uw tijdstempel - een ondertekende 64-bits int slaat ongeveer 300 miljoen jaar aan milliseconden op, dus dat is misschien niet nodig)
EDIT:vergeet niet voorloopnullen toe te voegen :)