(i.e., yes, we should err on the side of decoding larger)