[Python-Dev] random number generator state