x*2^n is now optimized to x<<n

The same about division.