Re: Motion 45
On 2013-08-01 11:35:23 +0200, J. Wolff von Gudenberg wrote:
> Dear Prof Kulisch,
> I think your concern is moot, contrarily setting an explicit +0
> enforces that there is only ONE zero in p1788
"only ONE zero": certainly not. IEEE 754 has signed zeros, and P1788
needs to take that into account when it deals with IEEE 754 datums,
which is precisely the case for the reduction operations. However,
not for the representation of intervals, where the sign of zero (when
there is one) should remain unspecified.
Signed zeros in the interval representation can be visible only with
non-P1788 operations, e.g. with memory comparison (Level 3).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)