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));