proveit.numbers.
is_numeric_natural
Return True iff the ‘expr’ represents an explicit, numeric natural number.