Add comments to the int2string.py to remember what should be done