Integer conversion utility in Python.