making a two-word bignum. Also, fixed the Lisp code for digit-0-or-plusp, which had negated sense.
need shifting.)