Updated test of '+' builtin to test for correct number handling