How does leaderboard resolve ties in scores?

The leaderboard determines the position of the players in the ranks in the following way:

• user with higher points (points DESC)
• older timestamp of user points last update (updated_at DESC)
• older user (user_id ASC)