Re: Way to use Ada Mod function on floats?

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

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));

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