public void WriteDoubles(double[] v) { if (v==null){ WriteInt(-1); }else{ WriteInt(v.Length); foreach (double b in v){ Write(BitConverter.GetBytes(b)); } } }