constant
HIGH_FLOAT

int HIGH_FLOAT = 0x8DF2

(Not documented.)