Sharpening bladed tools is one of my favorite things to do. The trance, the understanding, it's just good.

Once my boss came into my work area while I was sharpening my knife. I carry a fixed blade knife with about a 4 inch blade. I think that's just under 10cm. I use my knife nearly daily between the garden, the side gig, and all the dismembering. Y'know, it gets miles put on it. So my urbanite office worker boss walks in and his eyes bug out like this 👀!

"Nate, brother, do you think it's safe to be sharpening a dagger at work???"
"It's not a dagger man, it's my knife, and it's safer to sharpen it than to leave it dull!"

$15 is a heck of a deal for that machete and stone. Good on you getting out and getting work done!