Port divide.py to Python 3.