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

isSubnormal

fun KFpValue<*>.isSubnormal(): Boolean