Simplified the integer overflow checks in the simplification.