--- a/man/ChangeLog	Fri May 21 01:21:10 2004 +0000
+++ b/man/ChangeLog	Fri May 21 03:27:58 2004 +0000
@@ -1,3 +1,8 @@
+2004-05-21  Stephen J. Turnbull  <stephen@xemacs.org>
+
+	* lispref/numbers.texi (Comparison of Numbers): Clarify bigfloat eql.
+	(Predicates on Numbers): Fix thinko in description of `bigfloatp'.
+
 2004-05-10  Stephen J. Turnbull  <stephen@xemacs.org>
 
 	* lispref/numbers.texi (Numbers): Remove reference to "fixed-

--- a/man/lispref/numbers.texi	Fri May 21 01:21:10 2004 +0000
+++ b/man/lispref/numbers.texi	Fri May 21 03:27:58 2004 +0000
@@ -670,8 +670,8 @@
 @defun bigfloatp object
 @cindex floats
 The @code{bigfloatp} predicate tests to see whether @var{object} is an
-integer represented as a fixnum, and returns @code{t} if so, @code{nil}
-otherwise.
+floating point number represented as a bigfloat, and returns @code{t} if
+so, @code{nil} otherwise.
 @end defun
 
 
@@ -706,7 +706,9 @@
 Because of canonicalization, @code{eql} can be used to compare a fixnum
 value to something that might be a ratio; if the potential ratio value
 is representable as a fixnum, it will be canonicalized to fixnum before
-comparing.
+comparing.  However, although floats and bigfloats are of different
+types for the purpose of comparisons via @code{eql}, two bigfloats of
+different @emph{precision} that are @code{=} will always be @code{eql}.
 
 @example
 (eql 2 (string-match "ere" "there"))