3 ms·

Yes, well, if your name is Don Knuth, you know you can ignore the opinions and advice of mere mortals.