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

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'