单选题 锯榫操作时，榫舌制作完成后，一般要将端头的四周边缘削斜除去约有( )mm，防止碰裂榫舌，并使其容易嵌入榫眼之中。