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