Re: [pypy-dev] testing floating point