How many decimals do "we" need? Depends on the context and room for errors & con...

		lota-putty on July 3, 2022 \| parent \| context \| favorite \| on: How many decimals of pi do we need? (2016) How many decimals do "we" need? Depends on the context and room for errors & consequences. Double Precision (15 digits) suffices in most cases.