rewrite ASN_Integer to use php_gmp library