String concatenation via addition.