CGAL 5.2.2 - Number Types
Refinement Relationships