Re: [math-fun] Search the digits of pi