[gpderetta]

> A 100 digit number cannot be encoded losslessly in D-Bus btw

I think the concern is that large numbers can in fact be encoded in JSON, but there is no guarantee that they will be decoded correctly by a receiver as the format is underspecified. So you have to cater for the ill defined common denominator.

[heavenlyblue]

You should probably encode large numbers as strings.

[immibis]

The format is properly specified; its mapping onto actual hardware people use is not.