Edit: newint.py