We supply a traits class that uses LEDA's rational kernel - Pm_leda_segment_exact_traits. The class handles finite line segments in the plane and uses the LEDA rational kernel (Point is of type leda_rat_point and X_curve is of type leda_rat_segment). The predicates make use of LEDA's primitive predicates (e.g., orientation) that are implemented using floating point ``filters'' [FvW96] which speed up the use of exact computations.
#include <CGAL/Pm_segment_exact_traits.h>