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=2.6 required=5.0 tests=BAYES_05,FROM_DOMAIN_NOVOWEL,
	INVALID_DATE,MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no
	autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!nbires!hao!hplabs!felix!scgvaxd!trwrb!sdcrdcf!steve
From: steve@sdcrdcf.UUCP (Steven Holtsberg)
Newsgroups: net.lang.ada
Subject: MANTISSA and DIGITS attributes- is the ARM correct?
Message-ID: <2967@sdcrdcf.UUCP>
Date: Thu, 21-Aug-86 16:39:28 EDT
Article-I.D.: sdcrdcf.2967
Posted: Thu Aug 21 16:39:28 1986
Date-Received: Mon, 25-Aug-86 20:07:35 EDT
Reply-To: steve@sdcrdcf.UUCP (Steven Holtsberg)
Organization: System Development Corporation R&D, Santa Monica
List-Id: <comp.lang.ada>


The Ada reference manual states that for a given floating
point type, T, the value of B (that is, T'MANTISSA) is equal
to the "integer next above (D*log(10)/log(2)) + 1)."

I printed out the values of FLOAT'DIGITS and FLOAT'MANTISSA
on the York Ada compiler at UCLA, and I got the values
7 and 24.

Now, 7 * log(10)/log(2) + 1 = 24.25, so the next integer above is 25,
not 24.

Which is right, the compiler or the definition?  I naturally
assume the definition is correct, but maybe the writers of the
ARM got a little carried away by including "+1" and "the next
integer above."