CGAL 5.3.2 - Number Types
Has Model Relationships
Concept RootOf_2

double (not exact)

CGAL::Sqrt_extension