Correct a bug for integer division.