すなわち、F2Iのバグ。ライブラリ実装にしたら動かなくなっているらしい。(ということは、これを直したら動くのか？) でも、テストケースをガリガリガリ・・・っと入れてみても、合ってるんだよなあ。

とりあえず、バグの原因は判明。 C言語(というか、gccの>>演算子)において、shiftの第二引数は31以下である必要があるようだ。そうでない場合の動作はおそらく未定義なのだろうけれど、見たところmod 32をしているような動作。下位ビットしかみていないのだ…