We want to sum two numbers, not concatenate their stringifications.
Closes #17457 by merging a tweaked version of it.