3 ms·

I would have done that, if the edit window hadn't closed on my original comment by the time I read his reply.