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