* More bignum stuff.