diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-04-22 16:51:29 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-04-22 16:51:29 +0100 |
| commit | 956d76578634a86ea50246de45add748b96cb4ec (patch) | |
| tree | a9d2728ab7d7940a526d8282b436c53335b9824f /py/objfloat.c | |
| parent | c52f1258a8ececbaf25331c6cbfc373e6ed133b4 (diff) | |
py: Fix printing of "inf" and "nan" floating point values.
Diffstat (limited to 'py/objfloat.c')
| -rw-r--r-- | py/objfloat.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/py/objfloat.c b/py/objfloat.c index eb59cc5b7..f74e12f9d 100644 --- a/py/objfloat.c +++ b/py/objfloat.c @@ -49,16 +49,16 @@ STATIC void float_print(const mp_print_t *print, mp_obj_t o_in, mp_print_kind_t char buf[16]; mp_format_float(o->value, buf, sizeof(buf), 'g', 7, '\0'); mp_print_str(print, buf); - if (strchr(buf, '.') == NULL && strchr(buf, 'e') == NULL) { - // Python floats always have decimal point + if (strchr(buf, '.') == NULL && strchr(buf, 'e') == NULL && strchr(buf, 'n') == NULL) { + // Python floats always have decimal point (unless inf or nan) mp_print_str(print, ".0"); } #else char buf[32]; sprintf(buf, "%.16g", (double) o->value); mp_print_str(print, buf); - if (strchr(buf, '.') == NULL && strchr(buf, 'e') == NULL) { - // Python floats always have decimal point + if (strchr(buf, '.') == NULL && strchr(buf, 'e') == NULL && strchr(buf, 'n') == NULL) { + // Python floats always have decimal point (unless inf or nan) mp_print_str(print, ".0"); } #endif |