public void stats()
{
(ByteSize byteCount, var u8Index) = Rng.FixedSeedStats <byte>();
(_, int i32Index) = Rng.FixedSeedStats <int>();
Rng.FixedSeed(i32Index);
(_, long i64Index) = Rng.FixedSeedStats <long>();
Rng.FixedSeed(i64Index);
(_, double f64Index) = Rng.FixedSeedStats <double>();
Rng.FixedSeed(f64Index);
(_, float f32Index) = Rng.FixedSeedStats <float>();
Rng.FixedSeed(f32Index);
Claim.eq(i32Index, (int)f32Index);
Claim.eq(i64Index, (long)f64Index);
Claim.eq(byteCount, u8Index + 2);
}
