ksmt-core/io.ksmt.decl/KFpCustomSizeDecl/significand

significand

val significand: KBitVecValue<*>