diff with respect to IntegerComputer::floorDiv?