Sum of two half-integers.
References SYTEN_ASSERT_DEBUG, SYTEN_SRDEF_TYPE, and syten::HalfInteger< Base >::value.