pub const F32X4_MAX: u32 = 0x9f;