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