ksmt-core/io.ksmt.expr/KFpCustomSizeValue/biasedExponent

biasedExponent

open override val biasedExponent: KBitVecValue<*>