Isn't `mrb_int` better?