A PHP Vector Library