ksmt-core/io.ksmt.utils/FpUtils/isInfinity

isInfinity

fun KFpValue<*>.isInfinity(): Boolean