How many digits of pi (𝜋) do we really need?