Arithmetic for String literals