a PHP class for coordinates