Rotation operator +(Rotation other) { return Rotation(x + other.x, y + other.y, z + other.z, s + other.s); }