On 23/07/14 11:58 +0200, Marc Glisse wrote: >* can't we end up dividing by 0 if all values of the normal >distribution happen to be 0? As an aside, we already have divide-by-zero bugs in <ext/random>, it would be nice if someone could look at that. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60037