Riccioli and Grimaldi's arc measurement