int_bits()がどこから出てきたのか我々には分かりません。