Re: [Python-ideas] `numbers.Natural`