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