41 if (Native.Z3_fpa_get_numeral_sign(
Context.nCtx, NativeObject, ref res) == 0)
75 if (Native.Z3_fpa_get_numeral_significand_uint64(
Context.nCtx, NativeObject, ref result) == 0)
100 if (Native.Z3_fpa_get_numeral_exponent_int64(
Context.nCtx, NativeObject, ref result) == 0)
The main interaction with Z3 happens via the Context.