[math-fun] Faro shuffling with jokers