mk
fun <T : KFpSort> mkFpBiased(significand: Int, biasedExponent: Int, signBit: Boolean, sort: T): KFpValue<T>
fun <T : KFpSort> mkFpBiased(significand: Long, biasedExponent: Long, signBit: Boolean, sort: T): KFpValue<T>
fun <T : KFpSort> mkFpBiased(significand: KBitVecValue<*>, biasedExponent: KBitVecValue<*>, signBit: Boolean, sort: T): KFpValue<T>