This came in a small lot of "machinist" tools off of eBay. Does anyone here know what this is? Thanks