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=0.1 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,FREEMAIL_REPLY autolearn=no autolearn_force=no
	version=3.4.4
Path: 
 border1.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Natasha Kerensikova <lithiumcat@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: How to round to the nearest fixed-point value?
Date: Thu, 23 Jan 2014 07:00:35 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <slrnle1fge.1lme.lithiumcat@sigil.instinctive.eu>
References: <slrnldvtim.1lme.lithiumcat@sigil.instinctive.eu>
 <f37cea1f-6c68-483b-8097-cca566a5d8a2@googlegroups.com>
 <lbq9c0$7sd$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 23 Jan 2014 07:00:35 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="31d6bde745a337034b005384ef225743";
 logging-data="29014"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX192IFnOdcpHcL0xP9CNFUAe"
User-Agent: slrn/0.9.9p1 (FreeBSD)
Cancel-Lock: sha1:x4HhvWo7IKWgirQFMUPWQJ6j0Ww=
Xref: number.nntp.dca.giganews.com comp.lang.ada:184516
Date: 2014-01-23T07:00:35+00:00
List-Id: <comp.lang.ada>

On 2014-01-23, J-P. Rosen <rosen@adalog.fr> wrote:
> Le 22/01/2014 23:45, adambeneschan@gmail.com a écrit :
>>>  1.00
>>> >  0.99
>> I'm pretty sure this is a compiler bug.
>
> I concurr. Most likely, the first expression is evaluated at compile
> time and there is a bug in 'round of the static evaluator.

Well, unless I'm misunderstanding something, it's actually the first
expression that's correct: Low'Round (0.999) is supposed to be 1.00,
while Low (High'(0.999)) should be 0.99, right?