CGAL 5.6 - Modular Arithmetic
Has Model Relationships