Definition. For $n\in \mathbb{Z}$, let $[n]:E\to E$ be defined by

$$P\mapsto \underset{n\text{ copies}}{\underbrace{P\oplus P\oplus \cdots \oplus P}}$$

for $n\ge 0$, and $[-n]=[-1]\circ [n]$.