Ada front-end depends on signed overflow

[Joe Buck]

On Wed, Jun 08, 2005 at 10:53:04AM -0400, Paul Schlie wrote:
> > From: Robert Dewar <dewar@adacore.com>
> > There is nothing imprecise about IEEE floating-point operations
> 
> - agreed, however nor is it mandated by most language specifications,
>   so seemingly irrelevant.

In real life, there are no longer any significant non-embedded
architectures out there that don't use IEEE floating point, so
it is a widely used practice to assume it and document the requirement.
The resulting programs might not work on a Vax, Cray, or IBM 370.
C'est la vie.