CGAL 5.5.2 - Number Types
Refinement Relationships