Hi, On 7 November 2014 10:44, Armin Rigo <ar...@tunes.org> wrote: > `rfloat.double_to_string(x, 'r', 0, 0)[0]`.
The last argument should be `rfloat.DTSF_ADD_DOT_0`, otherwise a number like 3.0 will be confusingly represented as "3". A bientôt, Armin. _______________________________________________ pypy-dev mailing list pypy-dev@python.org https://mail.python.org/mailman/listinfo/pypy-dev
