3 ms·

For the record, I downvoted that comment because it was flippant and pointless, not because I disagreed with it.