Use a better format specifier for specifying output to prevent unintended roundoff