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