Re: [Python-ideas] float('∞')=float('inf')