Data.Ratio
data
Ratio
a
type
Rational
(%)
numerator
denominator
approxRational