i32 ^ (i32 + f32)
