removed is_natural_number()