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