float(i32) ^ i32
