i32 ^ (i - f64)
