[Bug 3646] Incorrect formatting of floating-point values via *printf if precision = 0