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