Unfortunately these are not just defined as flipped versions of Z.lt and Z.ge.
Z.lt
Z.ge
This will create a new commit in order to revert the existing changes.
