4 ms·

I agree with your observation on how to improve my comment but the comment was past the edit grace period so i could not update it.