NavList thread: Bit more on Haversine Formula