local header name assigned to system header float.h

[Jerker Bäck]

texinfo have a local header "float.h" which is the same name as a POSIX
standard and ISO/IEC 9899 (C99) header float.h.

http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/float.h.html
C99 - 7.7 Characteristics of floating types <float.h>
GCC also have an internal header "float.h".
For some reason glibc seem to missing "float.h".

AFAICS, the texinfo float have nothing todo with type float or the floating
point environment (fenv.h). Instead it is all about "Texinfo floating
material". It may be harmless to have a local header with the same name as a
system header, or it is not.

I suggest this is a bug and the header renamed to e.g. "floating.h"

Regards
Jerker