lib32mpfr-dev 3.1.0-3ubuntu2 (amd64 binary) in ubuntu precise

 This development package provides the header files and the symbolic
 links to allow compilation and linking of programs that use the libraries
 provided in the lib32mpfr4 package. This package includes the 32 bit version
 of the library.
 .
 MPFR provides a library for multiple-precision floating-point computation
 with correct rounding. The computation is both efficient and has a
 well-defined semantics. It copies the good ideas from the
 ANSI/IEEE-754 standard for double-precision floating-point arithmetic
 (53-bit mantissa).