[STDS-754] reproducibility of tininess detection for binary formats

[Michel Hack (1-914-784-7648) <hack@xxxxxxxxxxxxxx>]

Le 15 Oct 2007 ë 10:43:36 +0200  Guillaume Melquiond  a ©crit:
> So can you please detail a practical use case where the second definition
> would fail to give a proper answer, but the first one would?  This is what
> my first mail was about: Is there a situation where the first definition
> gives an answer more useful than the first definition.

Here is a very important one:  in directed rounding away from zero,
the "after rounding" rule would never signal underflow, even though
the result may have no significant digits left at all.  (This is for
default exception handling.)

Michel.
Sent: 2007-10-15 13:41:38 UTC