On 24 July 2014 22:15, Ulrich Drepper wrote: > 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. That would be great, thanks!