CREATE TABLE people (people_id DECIMAL, name TEXT, age DECIMAL, height DECIMAL, hometown TEXT)
CREATE TABLE gymnast (gymnast_id DECIMAL, floor_exercise_points DECIMAL, pommel_horse_points DECIMAL, rings_points DECIMAL, vault_points DECIMAL, parallel_bars_points DECIMAL, horizontal_bar_points DECIMAL, total_points DECIMAL)

What are the total points for all gymnasts, ordered by total points descending?
SELECT total_points FROM gymnast ORDER BY total_points DESC
SELECT "total_points" FROM "gymnast" ORDER BY "total_points" DESC NULLS LAST