{An efficient and proven correctly-rounded mathematical library}

WWW: http://lipforge.ens-lyon.fr/www/crlibm/
