pub const F64X2_GE: u32 = 0x4b;