粗刮时，粗刮刀的刃磨成（　）。