NavList thread: Reeds versine formulas