//astronomy/io.github.cosinekitty.astronomy/times
operator fun Double.times(vec: Vector): Vector
Multiply a scalar by a vector, yielding another vector.