CREATE TABLE table_11288 ("Driver" TEXT, "Constructor" TEXT, "Laps" FLOAT, "Time/Retired" TEXT, "Grid" FLOAT)

What is the total number of laps with a Driver of eddie irvine?
SELECT SUM("Laps") FROM table_11288 WHERE "Driver" = 'eddie irvine'
SELECT SUM("Laps") FROM "table_11288" WHERE "Driver" = 'eddie irvine'