Fix comment about odd rounding mode.

diff --git a/doc/ref-manual/numbers.texi b/doc/ref-manual/numbers.texi
index 99a788f4604e9a5af364858123d963cc1ae24a1c..a05aa6afe4eca461dd04d192e4c9f6d346d3dbfd 100644 (file)
--- a/doc/ref-manual/numbers.texi
+++ b/doc/ref-manual/numbers.texi
@@ -2779,8 +2779,9 @@ The main purpose of changing the rounding mode is to diagnose
 numerical instability by injecting small perturbations throughout the
 computation.
 
-@strong{Bug:} It would be nice if we had
-``round-to-nearest/ties-to-odd''.
+@strong{Bug:} It would be nice if we had ``round-to-odd'', where any
+inexact result is rounded to the nearest @emph{odd} floating-point
+number, for implementing ``doubled''-precision algorithms.
 But we don't.
 Sorry.