Adding real numbers with different signs