double borderline_inf_roundtrip = fp16_to_fp32(fp32_to_fp16(borderline_inf.f));
double borderline_nan_roundtrip = fp16_to_fp32(fp32_to_fp16(borderline_nan.f));
double borderline_inf_roundtrip = fp16_to_fp32(fp32_to_fp16(borderline_inf.f));
double borderline_nan_roundtrip = fp16_to_fp32(fp32_to_fp16(borderline_nan.f));