From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: How to round to the nearest fixed-point value?
Date: Fri, 24 Jan 2014 16:47:55 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <lbuqir$599$1@loke.gir.dk>
References: <slrnldvtim.1lme.lithiumcat@sigil.instinctive.eu>
 <slrnle4e9r.1lme.lithiumcat@sigil.instinctive.eu> <lbupic$4pd$1@loke.gir.dk>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1390603675 5417 69.95.181.76 (24 Jan 2014 22:47:55 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 24 Jan 2014 22:47:55 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:18293
Date: 2014-01-24T16:47:55-06:00
List-Id: <comp.lang.ada>

>> In case anyone is interested, the following rewrite works around the
>> problem:
>>
>>   function Convert (Value : High) return Low is
>>   begin
>>      return Low'Round (Value * 1.0);
>>   end Convert;

To clarify a bit, I think this operates identically to:

   function Convert (Value : High) return Low is
   begin
      return Low'Round (Long_Float(Value));
   end Convert;

which probably works around any GNAT bug but also is injecting the 
possibility of floating point precision issues into your code. So I'm not 
sure it is a good idea (if Long_Float has enough bits, it might not matter).

                                           Randy.