ksmt-core/io.ksmt.utils/ArithUtils/bigIntegerValue

bigIntegerValue

val KIntNumExpr.bigIntegerValue: BigInteger