Definition of integers