I recall that in May 1954 when Roger Bannister ran the first under 4:00 minute mile, that surveyors were called in and measured the track. They found it 1/2 inch over the 440 yards thus requiring Roger to run an extra 2 inches! There was no mention of how the measurement was done.
Alan