I tested `printf("%.4g", (double)4);` and it displays 4.000 instead of just 4 I have checked to be sure, the standard libc with gcc on Linux displays 4