Uh, actually a 128kbps song is around 8MB and a 320kbps song is around 10MB. So it's not even close to half, but you lose a lot more than half the quality.
I just selected the tick box and re-sync'd and the space taken by my music reduced from 12.77GB down to 5.4GB. The looks like more than half to me.