You can use `non_negative_integer()` here.