[pypy-dev] Some benchmarking numbers