3.1415926535 and I forget the rest. A story, I don't know if its true, was that the Texas Legislature considered making the legal definition as pi = 22/7, close enough for many purposes.