An efficient and proven correctly-rounded mathematical library

WWW: https://web.archive.org/web/20170128033523/http://lipforge.ens-lyon.fr/www/crlibm/
