Dividing real numbers with different signs