printf_fp.c problem

[Matt Waddel]

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