To be precise, the value of pi the bill wished to set was

16 / sqrt (3) = 9.2376....