Binary Addition Overflow Types