num mutate_strategy(num stdev)

Source

num mutate_strategy(num stdev) {
  m.Random r = new m.Random();
  num stdchild = stdev * m.exp(r.nextDouble() + r.nextDouble());
  return stdchild;
}