Definition of Integer