Number-crunching the bets.