Adding integers with different signs