[math-fun] Why 1.24 trillion digits of pi.