oneplus, like oneminus, use saturated operations instead of replicating code
fast_rec include errors
Fix is_equal checks for common case
Fix is_not_equal common case check and add integral common case
Factorize relationship between bitwise_andnot and bitwise_notand