What are the downhill points for the skier with total of 9.31 points?
CREATE TABLE "final_standings" (
  "place" text,
  "competitor" text,
  "downhill_points" real,
  "slalom_points" text,
  "total" text
);
SELECT SUM("downhill_points") FROM "final_standings" WHERE "total"='9.31';