18 package com.microsoft.z3;
39 .nCtx(), getNativeObject(), precision));
56 .nCtx(), getNativeObject(), precision));
RatNum toLower(int precision)
String toDecimal(int precision)
static String getNumeralDecimalString(long a0, long a1, int a2)
static long getAlgebraicNumberLower(long a0, long a1, int a2)
static long getAlgebraicNumberUpper(long a0, long a1, int a2)
RatNum toUpper(int precision)