redo some shit code in csr_leaderboards, and add number_formatting to the Rank field of leaderboards.