bignum_rshift      88 src/bignum.c   static ScmBignum *bignum_rshift(ScmBignum *br, ScmBignum *bx, int amount);
bignum_rshift    1027 src/bignum.c       bignum_rshift(u, u, d);
bignum_rshift    1129 src/bignum.c                   return Scm_NormalizeBignum(bignum_rshift(r, x, -cnt));