Update ASN_Integer.class.php

rewriting for using php-gmp library