Dredge operator was helping move the dredge from one mining area to another. upon positioning the dredge, the operator spun a ball float so that he could reconnect the float to the shore line. When he did the float pinched is hand between the hull and the float cutting the middle finger of the left hand.