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>
Lines: 12
Nf-ID: #R:<1991Jun12:190054:inmet:20600106:000:335
Nf-From: inmet.inmet.com!stt    Jun 14 13:23:00 1991


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