These names are derived from pay schedules of two specific games: 10/7 Double Bonus and 9/6 Jacks+. A 10/7 Bonus video poker game would pay 10 coins for a full house and 7 coins for a flush on a single coin bet, while a 9/6 Jacks or Better refers to payout of 9 coins for a full house and 6 coins for a flush.