粗刮时 粗刮刀的刃磨成()。