rewrite ASN_Integer to use php_gmp library

use php-gmp library