Show Third Decimal Spot for Goal Times

Currently, end of round times don’t show a third decimal place.

Although “New Best” times do show down to a third decimal place.

I feel like the end of round times should show a third decimal place because there are many times where I or someone else have gotten the same time when reaching the goal. It’d generally be a nice point of information to see, and since it’s already recorded (new best scores), I don’t imagine it would be hard to add.