Use mrb_int instead of int

similar to #1937.