0 is_a_unity_wrt addreal by BINOP_2:2, SETWISEO:14;