Integral#div is in mruby-numeric-ext now.