Update hex2int.py