i32 ^ (i64 - f64)
