ref: d7f37646965ee26214da0e1d97f3c1d54349ae2d
dir: /bugs-fixed/fmt-overflow.ok/
1.2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000