CGAL 5.2.4 - Number Types
Refinement Relationships