Sorry, I didn't state this very clearly.  Multiplying the approximation of PI in std.math should yield the exact double of that approximation, as it should just involve increasing the exponent by 1.  However, [double the approximation of the constant] is not necessarily equal to [the approximation of double the constant].  Does that make sense?