public override string ToString() { return Native.Z3_get_numeral_string(Context.nCtx, NativeObject); }