Use mrb_int instead of int