@staticmethod<EOL><INDENT>def _wrapped_overflow_add(a, b):<DEDENT>
if a.is_integer and a.lower_bound == <NUM_LIT:0>:<EOL><INDENT>card_self = <NUM_LIT:0><EOL><DEDENT>else:<EOL><INDENT>card_self = StridedInterval._wrapped_cardinality(a.lower_bound, a.upper_bound, a.bits)<EOL><DEDENT>if b.is_integer and b.lower_bound == <NUM_LIT:0>:<EOL><INDENT>card_b = <NUM_LIT:0><EOL><DEDENT>else:<EOL><INDENT>card_b = StridedInterval._wrapped_cardinality(b.lower_bound, b.upper_bound, b.bits)<EOL><DEDENT>return (card_self + card_b) > (StridedInterval.max_int(a.bits) + <NUM_LIT:1>)<EOL>
Determines if an overflow happens during the addition of `a` and `b`.

:param a: The first operand (StridedInterval)
:param b: The other operand (StridedInterval)
:return: True if overflows, False otherwise