correct integer division