1test vectors from crlibm 2http://lipforge.ens-lyon.fr/www/crlibm/ 3 4format is changed, but original comments are kept 5