Docs: Clarify half-open interval in rand generation.

Replaces #9478