Hi, On 7 November 2014 10:44, Armin Rigo <arigo at 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.