In GMP [`mpq_cmp`](https://gmplib.org/repo/gmp/file/tip/mpq/cmp.c) avoid the actual comparison of the rational at most as possible: - comparing the number of limbs - comparing the number of bits Does some benchmarks have been attempted to see if those optimisations are not useful? Would it be useful to use directly `mpq_cmp` ?