The RandomUint32 function in PseudoRandomGenerator segfaults when bound > INT_MAX, which needs to be fixed. It would also be useful to add a RandomUint64 function to RandomGenerator (and PseudoRandomGenerator implementing it).