Interesting feedback, thanks.
We figured that out already, but the issue I was refering to concerns ranking with exact same score (as displayed in the JSON response, with 20 decimals). When I said "Me and Magaiti got the same score at one point (every decimal was the same)" I meant that the 20 decimals were the same.
At the moment I'm writing this, Nkoyan is #5 with 0.00006000000155381713, and aPoStAl is #6 with 0.00006000000155381713.
Hopefuly the 'bug' will reproduce itself in the next few days to prove my point
I've seen similar behaviors in code-golf puzzles (where there is no rounding errors), in which some of my submissions ranked me between other people with same score. Apparently, SaiksyApo told on the chat that in such cases, people are awarded the same amount of CP, but the leaderboard choses to display an arbitrary ranking.
It doesn't really matter for a few points, I'm just curious to know how all of this works
Regarding tie breaks, I personally like the idea of using time of submit. Starting a puzzle one year after everyone sure will prevent you from reaching the top, but on the other hand, when several people start at the same time, the ones who reach top score first should be awarded higher rank.
Anyway congratz, CG's ranking system is the hardest reverse-engineering puzzle I've encountered so far