Why are you using floatlib.c? Everybody uses config/fp-bit.c. A grep doesn't show any uses of floatlib.c at all, and the last time it was touched was in July 1998. Perhaps we should just delete it if it is confusing people? Jim