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