[math-fun] 1.24 Trillion digits of pi