Turns out we didn't have that yet. I don't remember who implemented vectors originally, but he does owe us all round at Jupiter ...