What is the sum of numbers that had a type of Driving Van Trailer?
CREATE TABLE "past_fleet" (
  "class" text,
  "type" text,
  "built" text,
  "number" real,
  "withdrawn" real
);
SELECT SUM("number") FROM "past_fleet" WHERE "type"='driving van trailer';