public void WriteDouble(Stream Stream, double datum)
{
long bits = BitConverter.DoubleToInt64Bits(datum);
write(Stream, (byte)((bits) & 0xFF));
write(Stream, (byte)((bits >> 8) & 0xFF));
write(Stream, (byte)((bits >> 16) & 0xFF));
write(Stream, (byte)((bits >> 24) & 0xFF));
write(Stream, (byte)((bits >> 32) & 0xFF));
write(Stream, (byte)((bits >> 40) & 0xFF));
write(Stream, (byte)((bits >> 48) & 0xFF));
write(Stream, (byte)((bits >> 56) & 0xFF));
}
/// <summary>