CGAL users discussion list

My problem is the following: I have three points on arcs (therefor circular 
arc points), and from these three points I want to construct a circle;
A circle can only be constructed from normal points, so i need to convert the 
CAP to points, without loosing the has_on property of these points concerning 
their origin arcs;

I see that the conversion from Root_of_2 isn't trivial, and not implemented 
yet, anyhow: does someone have an idea how to implement this in a clean / 
exact way, if the Root_of_2 number is of rational form?

mfg, Waigner