I would agree if overflow on those types wasn't undefined behaviour, or unpredictable