let
is_negone x =
Q
.equal (
Q
.neg one) x