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