Constant HIGH_FLOAT 

pub const HIGH_FLOAT: c_uint = 0x8DF2;