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

with a Time/Retired of +47.376 what is the lap sum?
SELECT SUM("Laps") FROM table_15431 WHERE "Time/Retired" = '+47.376'
SELECT SUM("Laps") FROM "table_15431" WHERE "Time/Retired" = '+47.376'