Constant __FLT16_DECIMAL_DIG__

pub const __FLT16_DECIMAL_DIG__: u32 = 5;