Astrometric applications led to the development of spherical geometry