3 ms·

Aaand this is the pedantry I expected. Didn't even bother trying to head it off. Why deny this stack of commenters their jollies?