pub fn __extenddfxf2(a: f64) callconv(.c) f80
pub fn __extenddfxf2(a: f64) callconv(.c) f80 { return extend_f80(f64, @as(u64, @bitCast(a))); }