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