pub fn __unordtf2(a: f128, b: f128) callconv(.c) i32
pub fn __unordtf2(a: f128, b: f128) callconv(.c) i32 { return unordcmp(f128, a, b); }