libstdc++/3865: numeric_limits<double>::has_infinity is set to false

[bkoz@gcc.gnu.org]

Synopsis: numeric_limits<double>::has_infinity is set to false

Responsible-Changed-From-To: unassigned->gdr
Responsible-Changed-By: bkoz
Responsible-Changed-When: Fri Aug 24 17:30:07 2001
Responsible-Changed-Why:
    not quite sure this is still an issue: can you take a look at it please?

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3865&database=gcc