i32 ^ (i64 + f32)
