"Jano" <notelacreas@porfavor.no> a �crit dans le message de news:2nelqrF21jaU1@uni-berlin.de...
> Brian May wrote:
>
> > [2] Can someone confirm my assumption that Integer(86_399.9) = 86_399?
>
> Conversion between decimal and integer types does rounding. At least in
> gnat.
4.6 (32):
If the target type is an integer type and the operand type is real, the result is rounded to the nearest integer (away from zero if
exactly halfway between two integers).

If you want truncation, either subtract 0.5 or use the 'Floor attribute (or 'Truncation, depending on the behaviour you want for
negative values).

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr