[spec] add section on circle mensuration