P0556R3

Integral power-of-2 operations