//astronomy/io.github.cosinekitty.astronomy/Vector/div div operator fun div(denom: Double): Vector Divides a vector by a scalar.