lib32gmpxx4 2:5.1.2+dfsg-2ubuntu1 (amd64 binary) in ubuntu saucy

 GNU MP is a programmer's library for arbitrary precision
 arithmetic (ie, a bignum package). It can operate on signed
 integer, rational, and floating point numeric types. This
 package includes a 32 bit version of the shared library.