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
Lines: 16


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."