细刮比粗刮时(　　)。