Fix x64 gmp init on platforms that define UL as 32 bits.