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