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); }