>>888
単純なバグでした

size_t が64bit前提の部分があったのと、
非常に恥ずかしいですが以下のような動作不定なコードがありました
a->data[i++] = b->data[i] + carry;
私のローカル環境だとたまたま動いていたようです

intが16bitだとまだヤバそうですが、
16bit環境で動かすことはないと思うので気にしないことにします