compareValueTo

open fun compareValueTo(other: Numeric): Int

Compares this number to other by numeric value alone (via decimalValue), regardless of whether either is an Integer or a Real. This is different from Term.compareTo, which orders integers before reals of the same the term-comparison sense rather than by value.