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