Threefry: using existing Data.Bits.rotate