Division by powers of two