rb_big_divide 6034 bignum.c return rb_big_divide(x, y, '/'); rb_big_divide 6040 bignum.c return rb_big_divide(x, y, rb_intern("div"));