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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!usc!brutus.cs.uiuc.edu!samsung!uunet!inmet!stt
From: stt@inmet.inmet.com
Newsgroups: comp.lang.ada
Subject: Re: Non-static constant propagation in
Message-ID: <20600031@inmet>
Date: 5 Jan 90 21:44:00 GMT
References: <1735@petsd.UUCP>
Nf-ID: #R:petsd.UUCP:1735:inmet:20600031:000:406
Nf-From: inmet.inmet.com!stt    Jan  5 16:44:00 1990
List-Id: <comp.lang.ada>


An Ada expression is always allowed to evaluate to a result more
accurate than that required by the type.
This can be due either to compile-time infinite
precision calculation, or by simply using greater
precision at run-time.
The only absolute requirement for accuracy has to do
with operations where both operands are model numbers.
See ARM 4.5.7.

S. Tucker Taft
Intermetrics, Inc.
Cambridge, MA  02138