<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2017-11-30 16:01 GMT-02:00 Claude Heiland-Allen <span dir="ltr"><<a href="mailto:claude@mathr.co.uk" target="_blank">claude@mathr.co.uk</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It could have a method for setting the seed for the pseudo-random number<br>
generator, which would be a useful addition if it isn't already there.<br></blockquote><div><br></div><div>it isn't, and it could be used to set the seed indeed, nice call</div></div></div></div>