Yeah milliseconds are pretty useless anyway, I agree with rounding

tru

(should we keep at least ms of pro players (currently walrus, koffing, ewaller) or nah?)

Rounding in speedruns is always something like

48:43.690 -> 48:43

right?

Or I'm getting confused with how people merely talk about/wrote down times.

Yeah, numbers in speedruns are always rounded down also I suggest that .ms should stay for WR runs (and runs that finish on the same second as the WR runs) at least

I think it should all be in seconds. If there are two runs very close to each other we could retime them or work something else out. Otherwise, ms is pretty pointless. I also agree that it makes the lb look clunky

For me, it's the same thing so i'm ok with this :D

They surely wouldn't look as bad as they do know but I do prefer all the runs w/o ms.

they'll be rounded!

Thanks you very much for submitting the problem!