extra fractional digits removed from stdout output.