Re: [math-fun] 5000 billion digits of Pi