[Python-ideas] division oddness