From 4f53a5bcd27c1405433e459dd7ae8d111259715c Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Sat, 24 Aug 2019 07:10:39 +0000 Subject: [PATCH] Fix comment about odd rounding mode. --- doc/ref-manual/numbers.texi | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/ref-manual/numbers.texi b/doc/ref-manual/numbers.texi index 99a788f46..a05aa6afe 100644 --- 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. -- 2.25.1