integer/1

"integer( T" ) is iso

Succeeds if and only if T is currently instantiated to an integer.