//astronomy/io.github.cosinekitty.astronomy/Vector/Vector
fun Vector(x: Double, y: Double, z: Double, t: Time)