Add formatting to numbers on leaderboards
Merge branch 'master' into backend-rewrite