> 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