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