mrg 7af9bd6f50 commit some note updates i wrote last august.

2018-06-01 21:46:18 +00:00

..

gmp

…

mpc

…

mpfr

…