Distributions: use our own uniform_real_ditribution (via boost)
Should not make a difference but provides cross-platform compatibility in case someone has the idea to change the uniform distribution implementation.
Should not make a difference but provides cross-platform compatibility in case someone has the idea to change the uniform distribution implementation.