Thanks everyone for interesting discussion! On 1 August 2017 at 19:05, Daniel Bünzli wrote: > > Said that, one can define a mapping from floating point numbers to usual > decimal string > > representations and back such that each floating point number results in > a unique string. > > It is just quite tricky to get it right without extended precision > arithmetic, though. > > And since you have no control on which binary to decimal codecs JSON > parsers are going to use you have absolutely no interoperability story at > that point. > > Best, > > Daniel > -- Kind regards, Viet