Dumb question. Last year I made a few wagers on NFL season win totals. Results for most were clear cut. However, one I have is for the Eagles, where I took the under with the line set at 7. They finished 7-9. Is this like traditional sports wagers where the line is 7 and my ticket would equal a push? Or is it a over/under/exactly deal, thus I have a loser?