what is the sum of sylvain guintoli's laps?
23.0