Clipping and geometric operations for spherical polygons.