integerOverflowCond