pub const F64X2_MUL: u32 = 0xa7;