You can download the raw data from the GPS timing table as a *.csv file. The file provides the data
as time difference within start and corresponding split (geo fences), format:
as raw data, timestamps, UTC format:
That way you can easily use the GPS timing feature as a lap counter.
How to download GPS results: