is_natural_number
