if ( a + b < a )
Q>>{
Q>>    // overflow!
Q>>}

Unsigned integers, declared unsigned, shall obey the laws of arithmetic modulo 2**n where n is the number
of bits in the value representation of that particular size of integer.