Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!bloom-beacon!mit-eddie!bbn!inmet!ishmael!inmet!ada-uts!stt
From: stt@ada-uts
Newsgroups: comp.lang.ada
Subject: Re: Collective response to := messa
Message-ID: <57900083@ada-uts>
Date: 5 Dec 88 17:15:00 GMT
References: <2392@ssc-vax.UUCP>
Lines: 12
Nf-ID: #R:ssc-vax.UUCP:-239200:ada-uts:57900083:000:448
Nf-From: ada-uts!stt    Dec  5 12:15:00 1988


In LRM paragraph 11.6:6 --
  ... For the evaluation of a predefined oepration, an implementation
is allowed to use the operation of a type that has a range wider than
that of the base type of the operands, provided this delivers the exact
result (or a result within the declared accuracy, in the case of a
real type), even if some intermediate results lie outside the range
of the base type.

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