Hello, You are not using the latest GMP version; it is a known issue for GMP 6.2.1 [1]. GMP 6.3.0 fixes this [2]. [1]: https://gmplib.org/#STATUS [2]: https://gmplib.org/gmp6.3 Best, Albin