Fix imprecise documentation of random(): it never returns 1.0.

This was changed in 8.2 but the documentation was not corrected.
Per gripe from Sam Mason.