CGAL 5.2 - Number Types
Refinement Relationships