Burnikel, C., & Könemann, J.(1996). High-precision floating point numbers in LEDA (MPI-I-1996-1-002). Saarbrücken: Max-Planck-Institut für Informatik.