Previously runs were rounded to the nearest whole second, but because of the possibility of multiple runs becoming tied as the runs get better executed these runs will now be done to the nearest 10th of a second. For example, rather than 1m 23s 456ms, the time would be 1m 23s 500ms. Runs have been re-timed to accommodate for this change, so a run may be faster or slower now than it previously was.

Good change! Decimals are useless and don’t need that much precision, half a second difference is already good.