i64 ^ (i32 - f32)
