> I wrote the "num command" tool entirely in gawk

That's pretty cool! It's really packed with features.