[math-fun] Pi, 10 trillion digits