let
ge x y =
Z
.cmp x y >= 0