Constant HIGH_FLOAT 

pub const HIGH_FLOAT: u32 = 0x8DF2;