Random#srand

Depends on #551.