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