libgmp-dev 2:5.1.2+dfsg-2 (armhf 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.
 .
 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.