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

What is the average number of laps when the grid number is 9?
SELECT AVG("Laps") FROM table_40141 WHERE "Grid" = '9'
SELECT AVG("Laps") FROM "table_40141" WHERE "Grid" = '9'