Use Panda3D's vectors