Re: [Edu-sig] digits of pi