pub unsafe extern "C" fn floatx80_to_float64(
    arg1: floatx80,
    status: *mut float_status
) -> float64