Oh interesting. But 0.12 should still be printed to a precision of 5 then, right? The number is not 0.12000.