CREATE TABLE table_56388 ("Rider" CLOB, "Manufacturer" CLOB, "Laps" FLOAT, "Time/Retired" CLOB, "Grid" CLOB)

What is the sum of Sylvain Guintoli's laps?
SELECT SUM("Laps") FROM table_56388 WHERE "Rider" = 'sylvain guintoli'
SELECT SUM("Laps") FROM "table_56388" WHERE "Rider" = 'sylvain guintoli'