Knives and other edged tools