update documentation, tweak mpfr constants
treee968b9af9110b98a3ceb45b9a842526bffe7abec
-rw-r--r-- 26 .gitignore
-rw-r--r-- 175 Makefile
-rw-r--r-- 2558 README
drwxr-xr-x - checker
drwxr-xr-x - impl-libc
drwxr-xr-x - impl-mpfr