Re: Ada decimal types

[Simon Wright <simon@pushface.org>]

"REH" <me@you.com> writes:

> "Randy Brukardt" <randy@rrsoftware.com> wrote in message 
> news:8KadnYXCB-5FKMLZnZ2dneKdnZydnZ2d@megapath.net...

>> You're still very confused. Semantically, there is no difference between
>>
>>    type Mission_Time_Type is delta 1.0e-6 range 0.0 .. (2.0**32) - 1.0;
>>    for Mission_Time_Type'Small use 1.0e-6;
>>
>> and
>>
>>    type Mission_Time_Type is delta 1.0e-6 digits 14;
>
> Why is there not a difference?  Won't the first actually use some negative 
> power-of-2 as the delta?

The LRM 3.5.10(2) is a good deal less than informative as to what this
_Small_ might be. But unless I have been totally wrong all this time
it specifies the value of the LSB of the type.

So for Randy's example, if you do an unchecked conversion of
Mission_Type_Time'(1.5) to a long integer, the result would be
1_500_000.

And if you did the same for a GNAT Duration'(1.5) -- remember, its
'Small is 1e-9) -- you would get 1_500_000_000.