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