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