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=0.6 required=5.0 tests=BAYES_05,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!su-sierra.arpa!BRYAN
From: BRYAN@SU-SIERRA.ARPA (Doug Bryan)
Newsgroups: net.lang.ada
Subject: floating point number radix
Message-ID: <8510190414.AA24234@UCB-VAX>
Date: Fri, 18-Oct-85 22:39:57 EDT
Article-I.D.: UCB-VAX.8510190414.AA24234
Posted: Fri Oct 18 22:39:57 1985
Date-Received: Sun, 20-Oct-85 04:51:10 EDT
Sender: daemon@ucbvax.ARPA
Organization: The ARPA Internet
List-Id: <comp.lang.ada>


We have a question for all you model number gurus out there:

[3.5.7(6)]
The reference manual states that the minimum number of binary digits, B,
required after the point in the binary mantissa of a floating point
number is...

	ceiling (D * ln(10)/ln(2) + 1.0)

where D is the minimal number of decimal digits in the decimal mantissa.

Consider D = 3...

	ceiling (3 * ln(10)/ln(2) + 1.0) = ceiling (10.9657) = 11

But... is not 10 binary digits sufficient to represent 3 decimal digits?
		2**(-10) < 10**(-3)
We think the "+ 1.0" in the above expression can be removed. 

doug bryan and geoff mendal

-------