IntegerDiv added @vjovanov