Rock crystal cut is polished with acid after the cutting, to remove all traces of cutting remnants (wheel marks, sharp edges, etc.) afterwards.
It does make a much smoother feel to the whole thing and if you're looking at it with a magnifyer, you'll see fewer bits of evidence of cutting than you would on a bit that hadn't been acid polished.