[Python-ideas] Fwd: Make `float('inf') //1 == float('inf')`