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