archives

« Bugzilla Issues Index

#3317 — 6.1.6 The Number Type: Name of IEEE 754 round mode


6.1.6 The Number Type, second last paragraph.

> (This procedure corresponds exactly to the behaviour of the IEEE 754 “round to nearest” mode.)

The rounding mode is "Round to nearest, ties to even." resp. the short form "roundTiesToEven".

Cf. IEEE Std. 754-2008, "4.3.1 Rounding-direction attributes to nearest".


fixed in rev29 editor's draft


fixed in rev29