Reference:
   Author: "Marc Daumas and Laurence Rideau and Laurent Thery"
   Title: "A Generic Library for Floating-Point Numbers and Its Application to Exact Computing"
   Booktitle: "Theorem Proving in Higher Order Logics"
   Pages: 169–184
   Publisher: Springer
   Year: 2001
   Type: InProceedings
   URL: https://hal.inria.fr/hal-00157285v1
   Eprint: https://hal.archives-ouvertes.fr/hal-00157285/document
