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