426c426
< double p = random_mt.gen_real1();
---
> double p = random_mt.random<double>();