P0556R3 Integral power-of-2 operations, P0553R2 Bit operations