Fixed bugs for integer division.