[pypy-dev] datetime module