Check for overflow in numeric expansion conditions; forbid negative