Constant __STDC_IEC_60559_BFP__ 

pub const __STDC_IEC_60559_BFP__: i32 = 201404;