What is a single-cut file for smoothing; a tool used by shoemakers for rasping off pegs inside a shoe called?

float — A single-cut file for smoothing; a tool used by shoemakers for rasping off pegs inside a shoe. (Webster's 1913.)

Sources