lib32gmp-dev 2:5.1.2+dfsg-2 (amd64 binary) in ubuntu saucy

 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 libgmp10 package. This package includes 32
 bit versions of the link libraries.
 .
 Both C and C++ bindings are present in this package. Package
 libstdc++-dev is required to use the C++ bindings.
 .
 The MPFR library (multiple-precision floating-point) used to be
 included, but has since been moved to package libmpfr-dev.