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