2 ms·

I think you mixed up the problem. Had they used floats they would have got a small rounding error, not a 23 million loss.