pub const F64X2_MAX: u32 = 0xaa;