＞548 つまり１ビット余分に必要になるだけです
いや、再帰的に適用するのよ。