pub const F64X2_DIV: u32 = 0xa8;