new integer division (required)