getUpper method

RatNumeral getUpper([ int precision = 15 ])

Implementation

RatNumeral getUpper([int precision = 15]) {
  final result = _c._z3.get_algebraic_number_upper(_n, precision);
  return _c._getAST(result) as RatNumeral;
}