mkFp128

fun mkFp128(significand: KBitVecValue<*>, unbiasedExponent: KBitVecValue<*>, signBit: Boolean): KFp128Value

fun mkFp128(significand: Long, unbiasedExponent: Long, signBit: Boolean): KFp128Value

Create FP128 from the IEEE binary representation. Note: unbiasedExponent here is unbiased, i.e. signed.