[sirk390]

If you only look at the json format it's true. But it would be way worse if some decoders returned decimals and some returned floats.