Re: Ada decimal types

["REH" <spamjunk@stny.rr.com>]

Simon Wright wrote:
> "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.

OK, my assumption was that when they added decimal fixed points to the
language, you declared them via "digits x" otherwise you would get a
binary fixed point.  Is that not true?

REH