IntegerNumber

Definition An <IntegerNumber> is an <ArithmeticNumber> that is an integer number