Yay MPFR's #lessgreater? and #unordered?