6.1.7 IntType

The ``integer type'' property of an atom is an integer that holds the numeric atom type assigned to an atom. The default value is zero.