user: Question: What is total amount of points for the 2007 season?
Columns: ['Season', 'Driver', 'Team', 'Tyre', 'Points']
Types: ['real', 'text', 'text', 'text', 'real']
Sample row: [2004.0, 'Donny Crevels', 'Weytech', 'H', 86.0]
SQL:

assistant: SELECT SUM("Points") FROM "Table" WHERE "Season" = 2007.0;