4 ms·

What's the source of that? It's not mentioned on his Wikipedia page and Google was next to useless trying to find anything.