(i32 - i32) ** i64
