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
