eyalroz opened this issue 3 years ago · 0 comments
If we printf_("%g", 0.), we get "0e+00"; we should be getting just "0". See also #75, #55, #48 about "%g" issues.
printf_("%g", 0.)
"0e+00"