From 2009e53024351b05087eed7f2b094d38a6e57398 Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Mon, 1 Jul 2019 00:16:04 +0000 Subject: [PATCH] Clarify the non-significance of the total ordering. --- doc/ref-manual/numbers.texi | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/ref-manual/numbers.texi b/doc/ref-manual/numbers.texi index 7d3779345..40a4abab1 100644 --- a/doc/ref-manual/numbers.texi +++ b/doc/ref-manual/numbers.texi @@ -2263,6 +2263,10 @@ 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.0} is the ``magnitude'' of @code{-0.0}. +The total ordering has little to no numerical meaning and should be +used only when an arbitrary choice of total ordering is required for +some non-numerical reason. + @itemize @bullet @item @code{Flo:total<} returns true if @var{x1} precedes @var{x2}. -- 2.25.1