3 ms·

I don't think it's necessary for the post. I figured the comments would be a nice place for it if people were curious.