Re: [math-fun] record computation of Pi ,