CGAL 5.5.5 - Number Types
Refinement Relationships