Modify INTEGER! multiplication to not use division for overflow detection.
Modify INTEGER! addition and subtraction to not use undefined arithmetic.
Do not use MAX_NEG_INT (problematic name).