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