# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1119666586 0
# Node ID ca22580c24e775463cd6bb5f7441eb7245aa81f3
# Parent  569512ab4a08fb69d77d3297442c61e28102cc75
(Float Basics): Explain how to test for NaN, and printing the sign of NaNs.

diff -r 569512ab4a08 -r ca22580c24e7 lispref/numbers.texi
--- a/lispref/numbers.texi	Fri Jun 24 21:12:07 2005 +0000
+++ b/lispref/numbers.texi	Sat Jun 25 02:29:46 2005 +0000
@@ -183,21 +183,26 @@
 NaN.  For practical purposes, there's no significant difference between
 different NaN values in Emacs Lisp, and there's no rule for precisely
 which NaN value should be used in a particular case, so Emacs Lisp
-doesn't try to distinguish them.  Here are the read syntaxes for
-these special floating point values:
+doesn't try to distinguish them (but it does report the sign, if you
+print it).  Here are the read syntaxes for these special floating
+point values:
 
 @table @asis
 @item positive infinity
 @samp{1.0e+INF}
 @item negative infinity
 @samp{-1.0e+INF}
-@item Not-a-number
-@samp{0.0e+NaN}.
+@item Not-a-number 
+@samp{0.0e+NaN} or @samp{-0.0e+NaN}.
 @end table
 
-  In addition, the value @code{-0.0} is distinguishable from ordinary
-zero in @acronym{IEEE} floating point (although @code{equal} and
-@code{=} consider them equal values).
+  To test whether a floating point value is a NaN, compare it with
+itself using @code{=}.  That returns @code{nil} for a NaN, and
+@code{t} for any other floating point value.
+
+  The value @code{-0.0} is distinguishable from ordinary zero in
+@acronym{IEEE} floating point, but Emacs Lisp @code{equal} and
+@code{=} consider them equal values.
 
   You can use @code{logb} to extract the binary exponent of a floating
 point number (or estimate the logarithm of an integer):