public void Set_collision_envelope(double mval) { m_collision_envelope = mval; this.numeric_collision_envelope.Value = (decimal)m_collision_envelope; }