Use a trailing 0 for text clarity.

diff --git a/doc/ref-manual/numbers.texi b/doc/ref-manual/numbers.texi
index 65945f40464204685f5cee13dc5979871e9560a9..cb48677429a99c6b810404e67f547e32b69f646f 100644 (file)
--- a/doc/ref-manual/numbers.texi
+++ b/doc/ref-manual/numbers.texi
@@ -2140,8 +2140,8 @@ These procedures implement the @acronym{IEEE 754-2008} total ordering
 on floating-point values and their magnitudes.
 Here the ``magnitude'' of a floating-point value is a floating-point
 value with positive sign bit and everything else the same; e.g.,
-@code{+nan.123} is the ``magnitude'' of @code{-nan.123} and @code{0.}
-is the ``magnitude'' of @code{-0.}.
+@code{+nan.123} is the ``magnitude'' of @code{-nan.123} and @code{0.0}
+is the ``magnitude'' of @code{-0.0}.
 
 @itemize @bullet
 @item