I know this is fixed, but what I would do is just encode the score on the leaderboard as 2147483647 - score
This is how people used to do it before the ascending order sorting feature was added 😂