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

denominator

val denominator: BigInteger