public double Diameter_mm { get; set; }
public: virtual property double Diameter_mm { double get () sealed; void set (double value) sealed; }