Constant HIGH_FLOAT

pub const HIGH_FLOAT: u32 = 0x8DF2;