public void WriteTo(IWriteStream output)
{
if (value != 0D)
{
output.WriteRawTag(9);
output.WriteDouble(value);
}
}
public void WriteTo(IWriteStream output)
{
if (value != null && value.Count != 0)
{
output.WriteRawTag(10);
output.WriteInt32(8 * value.Count);
for (int i = 0; i < value.Count; ++i)
{
output.WriteDouble(value[i]);
}
}
}
