Refine std.random.