getLower method

RatNumeral getLower([ int precision = 15 ])

Implementation

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