Unfortunately, those well-meaning souls settled on a number whose square root is also irrational, and would be no simpler to handle than that for a more precise value for pi.
I guess they should have rounded up to 4.000. .
I heard that it was Indiana. Which one (or perhaps both) did it?