Computable real numbers library implemented over continued fractions
GNU Lesser General Public License v2.1LGPL-2.1