mp_integer: implement is_unitary().