Comment at the top of diophantine.py removed