An instance of Fraction_traits<T> is a model of FractionTraits, where T is the associated type.
#include <CGAL/Fraction_traits.h>