OpenTK Vector3 serializer