pub const F32DEMOTEF64: u8 = 0xb6;