how many laps in total does the driver named eddie irvine have?
1.0