http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60128
--- Comment #46 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- AFAICT on hppa*-*-hpux11* the E format does not round to nearest for tie. What is the output of the following test #include "stdio.h" int main() { printf("%.1e %.1e\n", 9950.0, 9750.0); return 0; } ? On x86_64-apple-darwin13, I get '1.0e+04 9.8e+03'.