Hi, in the longlong.h file shipped with GMP 5.1.2, we have at lines 996-1030: #if defined (__amd64__) && W_TYPE_SIZE == 64 ... #endif /* x86_64 */ I guess x86_64 should be __amd64__ in the #endif comment. This is quite an annoying bug :-) Paul Zimmermann