Same remark about random number generation.