Hi, I found a critical bug in gmp-6.1.0/mpn/s390_64/README: There are 5 generations of 64-but s390 processors, [...] It should be "64-bit" instead. Paul