4 ms·

Thanks for your thoughts. You would round up 99k to 100k (fair, imo) but don't round down 80.5k to 80k? I guess this is just one of those things...