public double GetDouble()
{
#if false
byte[] bytes = GetBytes(8);
double d = System.BitConverter.ToDouble(bytes, 0);
return d;
#else
return (new Random(GetInt())).NextDouble();
#endif
}