Add minified implementation. Same speed as the main implementation.
Use std::rand::random rather than weak_rng in mini; this makes it 2x slower.