CGAL 5.4.5 - Number Types
Refinement Relationships