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

isNaN

fun KFpValue<*>.isNaN(): Boolean