Is there any chance the leaderboard will be changed to milliseconds instead of seconds? The game is extremely precise and even the ingame timer has milliseconds so it makes sense to include milliseconds on the leaderboard.