RFC: Reproducible random numbers

This changes the ```srand``` functions such that the state of the rng is the same on 32 and 64 bit machines.