Cyclometricus, de circuli dimensione