pub const __STDC_WANT_IEC_60559_BFP_EXT__: u32 = 1;