Richard Stallman wrote:
> The doc string of lognot should explain what it does with large integers.

I installed the attached patch to make that clearer.