Since milliseconds are now enabled, I am currently retiming every current run on the leaderboards to have milliseconds. If your run hasn't been retimed yet, I haven't got the time to yet. Sorry.