//astronomy/io.github.cosinekitty.astronomy/Vector/dot
infix fun dot(other: Vector): Double
Takes the dot product of two vectors.