: usr / share / awk / 

Filename : isnumeric.awk
back