Random number generation

Authored by:Rich FitzJohn indust 0.15.2.
Source:rng.Rmd, Vignette:rng.html. Last updated:2022-11-02.