Merging symbolic reals with +