Generic.Random.Boltzmann