Tests that our optimization to elide overflow checks understands that if we keep adding huge numbers, we could end up creating a number that is not precisely representable using doubles.

On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".


PASS foo(2147483647) is 2147483552 on all iterations including after DFG tier-up.
PASS successfullyParsed is true

TEST COMPLETE