bignum_sub        689 src/bignum.c       return Scm_NormalizeBignum(bignum_sub(bx, by));
bignum_sub        735 src/bignum.c               r = bignum_sub(r, SCM_BIGNUM(v));