pub const F64X2_CONVERT_U_I64X2: u32 = 0xb2;