pub const __STDC_IEC_60559_BFP__: u32 = 201404; // 201_404u32