ksmt-core/io.ksmt.utils/ArithUtils/RealValue/numerator

numerator

val numerator: BigInteger