equals method

bool equals(Numeral other)

Implementation

bool equals(Numeral other) => _c._z3.algebraic_eq(_n, other._n);