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