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.2 required=5.0 tests=BAYES_00,INVALID_DATE,
	INVALID_MSGID 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!mit-mc.arpa!KFL
From: KFL@MIT-MC.ARPA ("Keith F. Lynch")
Newsgroups: net.lang.ada
Subject: floating point number radix
Message-ID: <[MIT-MC.ARPA].685203.851019.KFL>
Date: Sat, 19-Oct-85 13:50:37 EDT
Article-I.D.: <[MIT-MC.ARPA].685203.851019.KFL>
Posted: Sat Oct 19 13:50:37 1985
Date-Received: Sun, 20-Oct-85 06:41:22 EDT
Sender: daemon@ucbvax.ARPA
Organization: The ARPA Internet
List-Id: <comp.lang.ada>


    Date: Fri 18 Oct 85 19:39:57-PDT
    From: Doug Bryan <BRYAN@SU-SIERRA.ARPA>

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

Consider D=2.  2**(-6) > 10**(-2).  The "+ 1.0" should stay.
								...Keith