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