i64 > i ^ i32
