mkFpCustomSizeDecl

fun <T : KFpSort> mkFpCustomSizeDecl(significandSize: UInt, exponentSize: UInt, significand: KBitVecValue<*>, unbiasedExponent: KBitVecValue<*>, signBit: Boolean): KFpDecl<T>