public void Dispose() { if (this._dec != IntPtr.Zero) { FloatDecimator.float_decimator_destroy(this._dec); this._dec = IntPtr.Zero; } }