pub const F64X2_NE: u32 = 0x47;