Relating to the cutting and polishing of stones