3 ms·

Not my problem, that can be fixed by a future generation of pedants. It'll be good enough for 50 years or so.