Code from:
Spigot algorithms for the digits of pi in Python
Pause
digits:
π ≈ 3.
...