{"shas":[["25ca15f269537fcf6b8710e2f8c0ad05179aeadd","af36c0eb59db6ebddb963558b00a08546ae6dd91@pike.ida.liu.se","Convert bignum Gmp.mpz objects to Gmp.bignum when cast to int.\n\nBackported from Pike 7.8.\nFixes [bug 5042] and [bug 5753].","Martin Nilsson"]],"ref":"refs/heads/7.4","push_id":20510995,"head":"25ca15f269537fcf6b8710e2f8c0ad05179aeadd","size":1}