public int Decode(BitStream32 Buffer, BitStreamCtx ctx) { return this.Coder.Decode (Buffer, ctx) - this.Smaller; }