CGAL 5.2.1 - Number Types
Refinement Relationships