Division of mixed numbers and integers with different signs