How many laps in total does the driver named Eddie Irvine have?
CREATE TABLE "race_results" (
  "driver" text,
  "constructor" text,
  "laps" real,
  "time_retired" text,
  "grid" real
);
SELECT COUNT("laps") FROM "race_results" WHERE "driver"='eddie irvine';