つまりaとsで必要とするビット数が異なることになり、上述の実装ではうまく計算できない。