4 ms·

Btw, 99pi is great podcast.