Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Motion P1788/M0037.01: NO

I vote NO on Motion P1788/M0037.01.

I hadn't seen the following problem:

  "if there are two closest numbers, we use rounding to even,
  i.e., select the one whose binary expansion ends in 0"

This only makes sense for some number formats, even not all
floating-point formats (as phrased above, for floating-point
formats, the radix needs to be even and the precision >= 2).

My vote would be changed to YES if both numbers would be allowed
in the general case. For 754 formats, the radix is 2 or 10, and
the precision is >= 2, so that the even-rounding rule could be
applied.

-- 
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)