github.com/benhoyt/goawk@v1.8.1/testdata/gawk/intprec.awk (about)

     1  BEGIN { printf "%.10d:%.10x\n", 5, 14 }