is_numeric_int

proveit.numbers.is_numeric_int(expr)[source]

Return True iff the ‘expr’ represents an explicit, numeric integer.