2020/11/14 GMPがver6.2.1にアップデートされた． いくつかバグが修正されたのだが，その中にmpz_cmpが含まれていた． Release noteによると A possible overflow of type int is avoided for mpz_cmp on huge operands. とのこと．大きな値をmpz_cmpに渡す…