ksmt-core/io.ksmt.expr/KFpValue/significand

significand

abstract val significand: KBitVecValue<out KBvSort>