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