Implement FloorDivInt