18 package com.microsoft.z3;
20 import java.math.BigInteger;
BigInteger getBigIntNumerator()
static long getDenominator(long a0, long a1)
static String getNumeralDecimalString(long a0, long a1, int a2)
static String getNumeralString(long a0, long a1)
static long getNumerator(long a0, long a1)
String toDecimalString(int precision)
BigInteger getBigIntDenominator()
def String(name, ctx=None)