Use shift[LR]Integer in the Bits Integer instance