number crunching for card shuffling