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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,153876bae7c7b413,start
X-Google-Attributes: gid103376,public
From: Geert Bosch <geert@gonzo.sun3.iaf.nl>
Subject: Ada Floating-point model
Date: 1997/08/12
Message-ID: <5sq0qt$aev$1@gonzo.sun3.iaf.nl>#1/1
X-Deja-AN: 263769852
Organization: La Calandre Infortunee
Newsgroups: comp.lang.ada
Date: 1997-08-12T00:00:00+00:00
List-Id: <comp.lang.ada>


I am trying to understand the floating point model of Ada.
Hopefully somebody would like to answer my questions below.

Does a model interval associated with a value of a floating
point type include one or two model numbers? 

The RM defines a model interval as an interval whose bounds
are model numbers, but doesn't tell which bounds are included
in the interval. 

Then there is a remark that the model interval of a model number
consists of that number only. So when I use two model numbers as
operands of a predefined operation, the result should be in
the smallest model interval containing the result. When this
result is a model number this interval consists of that
number only and the operation is exact, right?


Regards,
   Geert