3 ms·

Thanks for writing that. I sometimes forget that these basic facts are not (sufficiently) common knowledge.