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