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_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6dbae18609a2d228,start
X-Google-Attributes: gid103376,public
From: Samuel_Figueroa@NeXT.com (Samuel Figueroa)
Subject: Questions about floating point
Date: 1996/07/06
Message-ID: <4rl891$e32@news.next.com>#1/1
X-Deja-AN: 163987145
organization: NeXT Software, Inc.
reply-to: figueroa@cs.nyu.edu
newsgroups: comp.lang.ada
Date: 1996-07-06T00:00:00+00:00
List-Id: <comp.lang.ada>


I have a couple questions having to do with floating point.  I am not a  
regular reader of this newsgroup; please respond via e-mail.

1) I don't see any accuracy requirements for conversions of real literals  
to floating-point types.  Could someone please point me to the section of  
the RM that talks about this?

2) The attribute Model_Epsilon (described in Appendix A) is supposed to  
have the value Machine_Radix**(1-Model_Mantissa).  Please forgive me, but  
I just don't get it.  (Could it be that I'm too tired?)  What's so special  
about this value?  It seems to me that either  
Machine_Radix**(-Model_Mantissa) or Machine_Radix**(-Model_Mantissa-1)  
would be more special.

- Sam Figueroa (figueroa@cs.nyu.edu)