Terry J. Reedy <tjre...@udel.edu> added the comment:
Guido, Integer as synonym for Integral was your idea, or at least your endorsement prompted me to file the issue. Other core devs don't think the change is worth the trouble; I don't much care. Speak up if you want to revive it. ---------- nosy: +gvanrossum _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue32891> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
