libgmpxx 4 libgmpxx4ldbl (>= 2:6.3.0+dfsg)