add linux 32 bit mpfr
Merge pull request #516 from dwightguth/floats

add linux 32 bit mpfr