Binary package “lib64gmpxx4” in ubuntu precise

Multiprecision arithmetic library (C++ bindings, 64bit)

 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 64 bit version of the shared library.