Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: $Revision: 1.6.2.16 $; site ada-uts.UUCP
Path: utzoo!linus!decvax!genrad!panda!talcott!harvard!bbnccv!ada-uts!mdavis
From: mdavis@ada-uts.UUCP
Newsgroups: net.lang.ada
Subject: Re: Re: What language do you use for sci
Message-ID: <4700008@ada-uts.UUCP>
Date: Fri, 30-Aug-85 10:33:00 EDT
Article-I.D.: ada-uts.4700008
Posted: Fri Aug 30 10:33:00 1985
Date-Received: Mon, 2-Sep-85 08:54:32 EDT
References: <324@harvard.UUCP>
Lines: 13
Nf-ID: #R:harvard:-32400:ada-uts:4700008:000:590
Nf-From: ada-uts!mdavis    Aug 30 10:33:00 1985


Correction:
>As for compile-time constants (`universal numbers'): "The accuracy of
>the evaluation of [such numbers] is at least as good as that of the
>most accurate predefined floating point type...." [Ada RM 4.10/4]

The next sentence is more important: "Furthermore, if a universal expression
is a static expression (known at compile time), then the evaluation
must be exact."  Some universal values are not known until runtime; these
are the values whose accuracy "... is at least as good as that of the
most accurate predefined floation point type" but need not be exact.

Mark Davis