diff options
| author | Damien George <damien.p.george@gmail.com> | 2018-03-01 15:47:17 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-03-01 15:51:03 +1100 |
| commit | bc12eca461a317df842ce2e616afa97670cd0ce3 (patch) | |
| tree | 58d6bfd2ab1ba6e7ecd41730c03923f1dac932d2 /py/formatfloat.c | |
| parent | 90e719a232dbf4039085d4fea2faf1358e408e40 (diff) | |
| download | micropython-bc12eca461a317df842ce2e616afa97670cd0ce3.tar.gz micropython-bc12eca461a317df842ce2e616afa97670cd0ce3.zip | |
py/formatfloat: Fix rounding of %f format with edge-case FP values.
Prior to this patch the %f formatting of some FP values could be off by up
to 1, eg '%.0f' % 123 would return "122" (unix x64). Depending on the FP
precision (single vs double) certain numbers would format correctly, but
others wolud not. This patch should fix all cases of rounding for %f.
Diffstat (limited to 'py/formatfloat.c')
| -rw-r--r-- | py/formatfloat.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/py/formatfloat.c b/py/formatfloat.c index 4228f99ff5..22dd8aaacc 100644 --- a/py/formatfloat.c +++ b/py/formatfloat.c @@ -341,7 +341,7 @@ int mp_format_float(FPTYPE f, char *buf, size_t buf_size, char fmt, int prec, ch // Round // If we print non-exponential format (i.e. 'f'), but a digit we're going // to round by (e) is too far away, then there's nothing to round. - if ((org_fmt != 'f' || e <= 1) && f >= FPCONST(5.0)) { + if ((org_fmt != 'f' || e <= num_digits) && f >= FPCONST(5.0)) { char *rs = s; rs--; while (1) { |