2 ms·

Sounds about right, 'dot' is about as old as the hills, so it probably wasn't an issue back in the day.