!SUBSECTION Command-Line Options for Random Numbers @startDocuBlock randomGenerator