[lifthrasiir]

You are correct. In hindsight I was quite tired back then and probably thinking of 355/113 or an average between 3.14 and 22/7 (~= 3.14143) instead...

[mavhc]

6 digits vs 6 digits, works again