Constant __FLT16_DECIMAL_DIG__ 

pub const __FLT16_DECIMAL_DIG__: u32 = 5;