A shift of a power of two is a power of two or zero.