Inline Data.Bits.rotate@Int, enables rotate to be constant folded