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