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

unbiasedExponent

val unbiasedExponent: KBitVecValue<*>