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