int HIGH_FLOAT = 0x8DF2