ref: 04311fef2d9f781ded3ce25a2992eb8c4dc63c3b dir: /bugs-fixed/fmt-overflow.awk/
BEGIN { OFMT = "%.1000f"; print 1.25; }