I have long known that GPS receivers provide altitude information, but I had a poor understanding of how they do it. It’s complicated. By the way, the Earth’s shape is more irregular than you may think.