15.3.12 awk Format Strings -------------------------- awk format strings are described in the gawk documentation, section Printf, <http://www.gnu.org/manual/gawk/html_node/Printf.html#Printf>.