Update ASN_Integer.class.php

for completion todo, using php-gmp library