mk
fun mkFp128Biased(significand: KBitVecValue<*>, biasedExponent: KBitVecValue<*>, signBit: Boolean): KFp128Value
Create FP128 from the IEEE binary representation. Note: biasedExponent here is biased, i.e. unsigned.
Create FP128 from the IEEE binary representation. Note: biasedExponent here is biased, i.e. unsigned.