On Wed, Jul 23, 2014 at 6:29 AM, Jonathan Wakely <jwakely@redhat.com> wrote: > As an aside, we already have divide-by-zero bugs in <ext/random>, it > would be nice if someone could look at that. I'll take a look at this soon.