Fix x64 gmp initialization on platforms that defined UL as 32 bits.