Update str_to_int.py