mk
fun <T : KFpSort> mkFpCustomSizeBiased(significandSize: UInt, exponentSize: UInt, significand: KBitVecValue<*>, biasedExponent: KBitVecValue<*>, signBit: Boolean): KFpValue<T>
Create FP with a custom size from the IEEE binary representation. Important: biasedExponent here is an biased value.