>Keith says, however, that you can usually tell that such a
In practice, you usually can tell.
If you have a processor which provides extra precision for
intermediates (e.g. x86), or a processor which provides IEEE support
(and you count the exceptions generated, or trigger a halt which you
can backtrace to the "wrong line", etc.) you can tell without
examination of the emitted code.
In an interval system, you may well be able to observe the width of
the intervals being much larger or much smaller than you had planned
on.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|