Random number generator seed data format

[MattRolchigo]

Random seed used for std::mt19937_64 should be an integer (or a sequence of integers), not a double - this should be changed throughout the initialization routines