http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60128
--- Comment #47 from dave.anglin at bell dot net --- On 3/26/2014 12:34 PM, dominiq at lps dot ens.fr wrote: > 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'. You are correct: 9.9e+03 9.7e+03