"1".toInt + "2".toInt
Something similar it is, but I really am not sure. Maybe mentioned in Dom's book.
And for repetition there is stringutils.repeat(). Maybe * is not used for the same reason as +. And indeed & is fine for concatenation. For + some people would say that it is bad for strings, because concatenation is very different from mathematical addition.
Reason:
@[1, 2, 3] + @[1, 1, 1] == @[2, 3, 4]
@[1, 2, 3] & @[1, 1, 1] == @[1, 2, 3, 1, 1, 1]
I prefer repeat over * since I want the string to be repeated default to the space character and that would look alien with a multiplication operator. Multiplication should also be commutative for consistency so that would be two procs instead of one.