Re: S'Is_nan or S'Is_inf?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Fri, 16 Jul 2010 22:35:14 +0000 (UTC), Warren wrote:

> I'll need
> to test it on other platforms, but hopefully most if not all
> IEEE platforms will support this.

IEEE representations have more than +Inf, -Inf and NaN. There are  other
objects: +0, -0, denormalized numbers (see attribute 'Denorm). Some have
dubious semantics:

with Ada.Text_IO;  use Ada.Text_IO;
procedure IEEE_Zeros is
   Zero : Float := 0.0;
   N0   : Float := 0.0 / (-1.0 / Zero);
begin
   Put_Line ("-0 =" & Float'Image (N0) & " 0 = " & Float'Image (Zero));
   Put_Line ("-0 = 0 " & Boolean'Image (N0 = Zero));
   Put_Line ("-0 < 0 " & Boolean'Image (N0 < Zero));
end IEEE_Zeros;

Negative zero is zero but not equal to, etc.

What are you trying to achieve? Because in automation we have the rule
never ever let IEEE cripples slip through. Don't read them, don't write
them, don't compute them.

The solution Simon suggested is basically everything Ada programmer should
know about IEEE 754! (:-))

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de