is_numeral : term -> bool

SYNOPSIS: Tests if a term is a natural number numeral.
DESCRIPTION: When applied to a term, is_numeral returns true if and only if the term is a canonical natural number numeral (0, 1, 2 etc.)
FAILURE CONDITIONS: Never fails.
SEE ALSO: dest_numeral, is_numeral.