Floored division in `(cis)/2`

[notoria]

?- clpz:cis(R, n(3)div n(-2)).
   R = n(-1).
?- is(R, 3 div -2).
   R = -2.
?-

[UWN]

How does this manifest itself on the top level with the official interface?

| ?- R #= 3 div -2.
R = -2 ? ; % attendue
no
| ?- R #= Tres div -2, Tres = 3.
R = -2, % attendue
Tres = 3 ? ;
no
``

[notoria]

I don't think it's possible, clpz has been exhaustively tested and integrated with it. But this confusion could manifest in a new propagator.