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