I get this output from the floating point printf() calls: 65535.000000 190157.845868 main() { double f; f = 65535.0; printf("%f\n",f); f = 65536.0; printf("%f\n",f); } I'm almost certain it's a problem in the printf_fp.c routine. Anybody have any suggestions for where to concentrate my search? Regards, Matt