what is the number of games for the season with 10 ties?
72.0