Documentation for Random::DEFAULT

The DEFAULT constant on Random (core) is used to access Ruby's default PRNG directly. Access to it should be documented at least on one line.