Re: [math-fun] 1.24 Trillion digits of pi