I think it could be useful to formalize how the time is rounded after applying the car bonus. Last night I submitted a 1:45.10 with the Lotus, which corresponds to 83.029 seconds after applying the 21% bonus. The submission page showed me a weighed time of 1:23.02, which would have been enough to beat Mortimer by 0.01 s. However, after uploading the replay, the ranking showed a time of 1:23.0
3, exactly equal to Mortimer's and therefore penalized in terms of PTB.
My situation was not so bad as I got immediate feedback from the leaderboard, but in cases where a quiet replay is posted, having a unverifiable 0.01 discrepancy could result in big disappointments.
Pinging
@dreadnaut :)
Internally, it's definitely 8303 hsec or 1:23.03, so I can confirm the number reproduced by the scoreboard is the correct one.
The problem seems to be the cast to integer I (hastily?) introduced last time when I fixed the replay preview. As a cast, it truncates, so it works as a floor instead of a round, and 8302.9 becomes 8302.0 hsec, or 12:23.02.
I'll double check during the day, but I think it's an easy fix. Thanks for bringing it up!
Should be fixed now. I've removed all casts, and replaced them with the explicit conversion function in each occasion: floor, round, and intval.
Thanks for the quick fix!