I just found this game and I plan on submitting runs soon. I notice first place is a tie on 2 maps, but in the video you can see the timer goes down to hundredths of a second. Why not make the leaderboard more precise and include 910 ms for example?