Would anyone want milliseconds to be available for submissions on leaderboards?

I'm fine either way with milliseconds or just run ties with seconds precision, and it would probably just matter on individual levels.

I decided to put milliseconds as optional for now in case we want to untie pb's eventually