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 seven coins for a flush on a single coin bet, while a 9/6 Jacks or Better refers to payout of nine coins for a full house and six coins for a flush.