Add a testcase where there is an overflow when combining two constants.

I noticed that a proposed optimization would have prevented this.