If we `printf_("%g", 0.)`, we get `"0e+00"`; we should be getting just "0". See also #75, #55, #48 about "%g" issues.