//astronomy/io.github.cosinekitty.astronomy/Vector/plus
operator fun plus(other: Vector): Vector
Adds two vectors. Both operands must have identical times.