[PATCH] First batch of numerics changes

[Mark H Weaver]

Hello all,

Here's my first batch of numerics bugfixes and other changes for
improved mathematical correctness and R6RS compliance.  As far as
I can tell, they're ready to commit.  Reviews solicited.

     Mark

0001-Do-not-apply-inf-or-nan-to-strings.patch
Description: Do not apply `inf?' or `nan?' to strings

0002-Fix-NEWS-entry-regarding-changes-to-expt-for-zero.patch
Description: Fix NEWS entry regarding changes to `expt' for zero base

0003-Add-SCM_INUM1-to-numbers.h-and-make-use-of-it-and-S.patch
Description: Add SCM_INUM1 to numbers.h, and make use of it and SCM_INUM0 in numbers.c

0004-Implement-finite-in-core-and-fix-R6RS-finite-a.patch
Description: Implement `finite?' in core and fix R6RS `finite?' and `infinite?'

0005-Optimize-scm_exact_p-by-making-use-of-SCM_INEXACTP.patch
Description: Optimize scm_exact_p by making use of SCM_INEXACTP

0006-Remove-useless-code-from-do_divide.patch
Description: Remove useless code from do_divide

0007-Add-case-for-fractions-with-differing-SCM_CELL_TYPE.patch
Description: Add case for fractions with differing SCM_CELL_TYPE to scm_equal_p

0008-equal-and-eqv-equivalent-for-numbers-and-not-eq.patch
Description: equal? and eqv? equivalent for numbers, and (not (eqv? +nan.0 +nan.0))

0009-Improve-docs-for-inf-regarding-non-real-complex-i.patch
Description: Improve docs for `inf?' regarding non-real complex infinities

0010--inf-and-nan-throw-exceptions-when-applied-to-n.patch
Description: `inf?' and `nan?' throw exceptions when applied to non-numbers

0011-Fix-bugs-when-negating-SCM_MOST_POSITIVE_FIXNUM-1.patch
Description: Fix bugs when negating SCM_MOST_POSITIVE_FIXNUM+1

0012-Infinities-are-no-longer-rational.patch
Description: Infinities are no longer rational

0013-Implement-R6RS-real-valued-rational-valued.patch
Description: Implement R6RS `real-valued?', `rational-valued?', `integer-valued?'

0014-Fix-R6RS-div-mod-div-and-mod-div0-mod0.patch
Description: Fix R6RS `div', `mod', `div-and-mod', `div0', `mod0', and `div0-and-mod0'

0015--even-and-odd-now-throw-exceptions-only-for-non.patch
Description: `even?' and `odd?' now throw exceptions only for non-numbers

0016-Fix-bugs-in-rationalize.patch
Description: Fix bugs in `rationalize'

0017-More-discriminating-NaN-predicates-for-numbers.test.patch
Description: More discriminating NaN predicates for numbers.test

0018-Exact-0-times-infinity-or-a-NaN-yields-a-NaN.patch
Description: Exact 0 times infinity or a NaN yields a NaN

0019-Move-comment-about-trig-functions-back-where-it-belo.patch
Description: Move comment about trig functions back where it belongs

0020-Trigonometric-functions-return-exact-numbers-in-some.patch
Description: Trigonometric functions return exact numbers in some cases