9 ms·

I think this is roughly equivalent to their point: Pi is a rational number, as long as you're in base-pi