Keyword: rational numbers

• QArith: A Library for Rational Numbers (QArith)
  Pierre Letouzey
• QArithSternBrocot: Binary Rational Numbers.
  Milad Niqui, Yves Bertot
• Rational: A definition of rational numbers
  Samuel Boutin