should this be `pos_integer()`?