2 ms·

You outpedanted me, nicely done, sir.