Document the ieee754-h module better. * doc/glibc-headers/ieee754.texi: Mention the module ieee754-h. Give an example of a platform without IEEE floating-point numbers.