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

isNormal

fun KFpValue<*>.isNormal(): Boolean