What is the total number of points for all players?
select sum(points) from player