fix 4ti2's test for gmp to 64 bit conversion

... under 32 ubuntu with mpir 2.6.0 as gmp