rough quarry stone definition