Modules

approximate a number with a rational number
Rational number approximation via continued fractions
approximate a number with a rational number up to a given denominator