[pypy-dev] Where is `float.is_integer`?