Navigation Calculations for Arduino GPS

Looks good
I have a question
This gps has an accuracy of ~2.5 meters according to their web site
I saw a road grader with a device mounted atop a pole attached to the blade.
What device would they be using that gives height accuracy to I suppose half an inch?