pub const __STDC_IEC_60559_BFP__: c_int = 201404;