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

div

fun div(value: BigInteger): ArithUtils.RealValue
fun div(other: ArithUtils.RealValue): ArithUtils.RealValue