K 10
svn:author
V 4
grog
K 8
svn:date
V 27
2000-10-31T07:20:46.000000Z
K 7
svn:log
V 61
Correct a bignum.

Detected-by: 	lang/clisp
Approved-by:	jkh

END