Modern stone vessels are still made that way. And even if they were from some sort of casting, they would still need to be polished with diamond dust, cerium oxide, etc. anyway.