rough machined margin是什么意思