[pypy-dev] Re: Nice floats