pub const F32_DEMOTE_F64: u8 = 0xB6;