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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,388fc53f584bd695
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder.news-service.com!weretis.net!feeder4.news.weretis.net!news.tornevall.net!.POSTED!not-for-mail
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Fixed point constants issue
Date: Fri, 24 Sep 2010 17:16:00 -0700
Organization: TornevallNET - http://news.tornevall.net
Message-ID: <i7jfon$71u$1@tornado.tornevall.net>
References: <op.vizer4qnd20q5n@jellix.jlfencey.com>
 <1f0l0baynq1x7$.phl9cqpwcr37.dlg@40tude.net>
 <op.vizhg5ygd20q5n@jellix.jlfencey.com> <8f7b0nF6hfU1@mid.individual.net>
 <i6m1v2$e5b$1@adenine.netfront.net> <i7idee$8ag$1@speranza.aioe.org>
 <i7j6gn$amc$1@tornado.tornevall.net> <op.vjj6px2cd20q5n@jellix.jlfencey.com>
NNTP-Posting-Host: a80dea7a057acac0312b61bb169ed610
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: 0e774bbd5ac02d16538793c5447be50d
X-Complaints-To: abuse@tornevall.net
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.9.1.12) Gecko/20100915 Thunderbird/3.0.8
X-Complaints-Language: Spoken language is english or swedish - NOT ITALIAN,
 FRENCH, GERMAN OR ANY OTHER LANGUAGE!
In-Reply-To: <op.vjj6px2cd20q5n@jellix.jlfencey.com>
X-UserIDNumber: 1738
X-Validate-Post: 
 http://news.tornevall.net/validate.php?trace=0e774bbd5ac02d16538793c5447be50d
X-Complaints-Italiano: Non abbiamo padronanza della lingua italiana - se
 mandate una email scrivete solo in Inglese, grazie
X-Posting-User: 0243687135df8c4b260dd4a9a93c79bd
Xref: g2news1.google.com comp.lang.ada:14248
Date: 2010-09-24T17:16:00-07:00
List-Id: <comp.lang.ada>

On 09/24/2010 03:42 PM, Vinzent Hoefler wrote:
>
> 3.5.9 says:
>
> Multiplication and division of fixed point values deliver results of a
> fixed point type with
> an arbitrarily fine accuracy [...] which is referred to [...] as
> /universal_fixed/.

Yes. But these are not fixed-point values. One is universal_integer and the 
other is universal_real. The question is whether "*" is the one defined for 
universal_real or for the fixed-point type. In the latter case, the 
universal_real value would be converted to the fixed-point type before calling "*".

ARM83 4.10 says that static, universal expressions are evaluated exactly. The 
question seems to be whether the expression is universal. ARM83 4.4 seems to be 
the place to look for that, but I'm not sure which it requires.

-- 
Jeff Carter
"We use a large, vibrating egg."
Annie Hall
44