python does not autopromote ints to string for concatenation