Re: [math-fun] the 2Qth bit of pi is 0