Library for exact real number computations