Update ASN_Integer.class.php