i32 ^ (f32 + i64)
