Un'opzione potrebbe essere quella di eseguire zadd leaderboard highscore.(Long.MAX_VALUE - timestamp) player_id.attempt_number (modifica Long.MAX_VALUE a qualunque sia un valore ragionevole più alto possibile per il tuo timestamp - Un int a 64 bit con segno memorizzerà circa 300 milioni di anni di millisecondi, quindi potrebbe non essere necessario)
EDIT:non dimenticare di aggiungere zeri iniziali :)
