pub unsafe extern "C" fn f64_to_extF80(_: float64_t) -> extFloat80_t