45 return new RatNum(
Context, Native.Z3_get_algebraic_number_upper(
Context.nCtx, NativeObject, precision));
59 return new RatNum(
Context, Native.Z3_get_algebraic_number_lower(
Context.nCtx, NativeObject, precision));
70 return Native.Z3_get_numeral_decimal_string(
Context.nCtx, NativeObject, precision);
The main interaction with Z3 happens via the Context.