Function float128_to_float64 

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