There are so many ties when milliseconds are not factored in, even near the top of the leaderboard. Can someone change it so leaderboard times don't just show seconds?