Searching for links to DedekindCut:
Euclid
RealNumber