add cast_bits(i32 i32)
add cast_bits(i64 i64)