[pypy-dev] plans for os and math