Use PyInt if possible (closes #76).