As I explained a few messages ago, the operation is not called integer division. It is called floor division.