Integer

Integer
is the head of integers.