ksmt-core/io.ksmt.expr/KFp64Value/signBit

signBit

open override val signBit: Boolean