Made __div__ in ga.py compatible with python 3.2.