NavList thread: Haversine formulae for Great Circles