Can we add milliseconds into the individual level leaderboards? Due to the short length of the levels most times would be tied otherwise