• CRlibm: Correctly Rounded mathematical library http://lipforge.ens-lyon.fr/www/crlibm/index.html 5 comments 28/2/2015 programming