what is the definition for division of integer