elliptic curve point addition, which requires at least one modular division.

Not necessarily. You can use projective coordinates to avoid division.