Ett alternativ skulle vara att göra zadd leaderboard highscore.(Long.MAX_VALUE - timestamp) player_id.attempt_number (ändra Long.MAX_VALUE till det som är ett rimligt högsta möjliga värde för din tidsstämpel - En signerad 64-bitars int kommer att lagra cirka 300 miljoner år av milisekunder, så det kanske inte behövs)
EDIT:Glöm inte att lägga till inledande nollor :)