Pike v8.1 release 6

Method Gmp.mpz()->encode_json()


Method encode_json

string encode_json()