private void WriteDouble(double value) { WriteObjectTypeCode(ObjectTypeCode.Double); Output.Write(value); }