(`shiftR` 1) instead of (`quot` 2)