Check if the sum of binary numbers makes sense. If the sum of two negative numbers is positive or the sum of two positive numbers is negative, something is wrong. This bug means that the sum overflowed — that is, the binary representation of the result can't fit in the allocated number of bits. Read more