4 ms·

I wouldn't be surprised if Andrew Pinski was just wrong. It's anecdotal but my impression of him isn't very good.