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