Subtract one from dif in the range decoder.