Re: S'Is_nan or S'Is_inf?

[Warren <ve3wwg@gmail.com>]

Randy Brukardt expounded in news:i22m9q$cd4$1@munin.nbi.dk:

> "Warren" <ve3wwg@gmail.com> wrote in message 
> news:Xns9DB6AD1651560WarrensBlatherings@81.169.183.62...
>> Is there any is not-a-number or is-infinity test support in
>> Ada05+ (for floats)?  Is there any being planned?
> 
> We considered it for Ada 2005 (see AI95-0315-1). It was abandoned
> because of the large impact on implementations and the weak demand
> (hardly any user requests).
> 
> John Barnes mentions this in the Ada 2005 Rational: 
> http://www.adaic.com/standards/05rat/html/Rat-9-3-3.html
> 
> It wasn't resurrected for Ada 2012, so there won't be any change here.
> 
> BTW, GNAT seems to pass through a lot of IEEE stuff, thus you can
> write examples using that. Other Ada compilers (at least as of 2003-4
> timeframe) vary widely in what is exposed (Janus/Ada only supports
> IEEE denormal numbers; everything else raises Constraint_Error before
> it is stored). 
> 
>                                   Randy.

Very interesting. My project is fairly dependant on gnat (at the 
moment at least), so things should work ok. I'm not personally
a fan of these special IEEE values, but they crop up in 3rd party
libraries like the GSL etc. or in the reading of binary values from
a file.

Warren