task_rng and TaskRng has moved to std::rand