`pos_integer()` instead of `integer()` like above?