Re: bignum branch

[Stefan Monnier]

> -       doc: /* Return t if the two args are the same Lisp object.
> -Floating-point numbers of equal value are `eql', but they may not be `eq'.  
> */)
> +       doc: /* Return t if the two args are `eq' or are indistinguishable 
> numbers.
> +Floating-point values with the same sign, exponent and fraction are `eql'.
> +This differs from numeric comparison: (eql 0.0 -0.0) returns nil and
> +\(eql 0.0e+NaN 0.0e+NaN) returns t, whereas `=' does the opposite.  */)

Interestingly, if we change EQ to do the comparison currently performed
by `eql`, then `eql` is easier to document since "indistinguishable"
becomes closer to the truth (currently you can distinguish two `eql`
numbers by resorting to `eq`).


        Stefan