[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
Re: after-rounding tininess detection and directed rounding
As I read it (the 1.5.0 draft of October 5, right?) the main section
on underflow, (7.5, page 48) specifies that for decimal formats
tininess is detected before rounding. By contrast, the corresponding
section (9.5, page 48) of the draft of September 17, 2006 allowed
either method.
Correct, a recent change, perhaps because only one flavor of 754R
decimal hardware exists at present. Since both kinds of binary
hardware currently exist, choosing one or the other is not politically
feasible for binary in normal mode.
though there is some other stuff in section 11 that discusses
"reproducible floating-point results" and then makes a further
restriction to detection *after* rounding for binary.
The political calculus was thought to be different in reproducible mode.
But not by me.