bignum_add        684 src/bignum.c       return Scm_NormalizeBignum(bignum_add(bx, by));
bignum_add        712 src/bignum.c               r = bignum_add(r, SCM_BIGNUM(v));