File:Circle constructions.mm