Re: Way to use Ada Mod function on floats?

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

On Sat, 2 Dec 2006 19:21:43 +0100, Dmitry A. Kazakov wrote:

> On Sat, 02 Dec 2006 17:48:34 +0000, Simon Wright wrote:
> 
>> Gautier <gautier@fakeaddress.nil> writes:
>> 
>>> Stephen Leake:
>>>
>>>> SAL (http://stephe-leake.org/ada/sal.html) has:
>>>>
>>>>    function Modulo (Dividend, Divisor : in Real_Type) return Real_Type
>>>>    is
>>>>       --  match names in Ada LRM 4.5.5
>>>>
>>>>       A : Real_Type renames Dividend;
>>>>       B : Real_Type renames Divisor;
>>>>       N : constant Integer := Integer (Real_Type'Floor (A / B));
>>>>    begin
>>>>       return A - B * Real_Type (N);
>>>>    end Modulo;
>>>
>>> Out of curiosity, what is the need of converting Real_Type'Floor (A /
>>> B) to an Integer and back to a Real_Type ?
>> 
>> Especially when it can overflow and give you a Constraint_Error.
> 
> Hmm, why is it converted to integer? I would stay all the way in
> Real_Type'Base:
> 
>  return Real_Type'Base
>      (Dividend - Divisor * Real_Type'Base'Floor (Dividend / Divisor));

Of course, a qualified expression meant, so Real_Type'Base' in the first
line.

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