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.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!snorkelwacker.mit.edu!bu.edu!inmet!stt
From: stt@inmet.inmet.com
Newsgroups: comp.lang.ada
Subject: Re: float constraint checks
Message-ID: <20600106@inmet>
Date: 14 Jun 91 17:23:00 GMT
References: <190054@<1991Jun12>
Nf-ID: #R:<1991Jun12:190054:inmet:20600106:000:335
Nf-From: inmet.inmet.com!stt    Jun 14 13:23:00 1991
List-Id: <comp.lang.ada>


Re: float constraint checks

Underflow is never an error in Ada; instead it yields 0.0.
This is a ramification of the model-number accuracy rules.
The Ada Reference Manual doesn't come out and say
"no exception on underflow" (at least I couldn't find it), 
but that is the case.

S. Tucker Taft
Intermetrics, Inc.
Cambridge, MA  02138