} // namespace
+#ifndef __F16C__
+
double fp16_to_fp64(fp16_int_t x)
{
return fp_upconvert<fp16_int_t,
FP64_BIAS, FP64_MANTISSA_BITS, FP64_EXPONENT_BITS, FP64_MAX_EXPONENT>(x);
}
+#endif
+
double fp32_to_fp64(fp32_int_t x)
{
return fp_upconvert<fp32_int_t,