[Python-ideas] Re: division of integers should result in fractions not floats