module Ratio (Rational(..)) where import DRatio type Rational = Ratio Integer