>>35
right_shift_1_INT128で、下位桁のMSBをキャリーで書き潰しているのはまずいな