On integer division via multiplication.