We are getting to the point in Easy Mode where times are very optimal and close together. I think decimals might be needed to prevent ties in the future.
Sure, that's fine. Since the timer goes to 4 decimal places, should we round to the third, the way normal frame timers do? (e.g. .4667 -> .467, .4333 -> .433)
