Andrew Barnert wrote:
I don’t see why 00.12 vs. 0.12 is a problem ... while 0.12 and 0.012E1 are not a problem at all.
I don't think either of them are problems. Or to be more precise, I think that being able to use Decimal objects with JSON would be a good thing, even though it wouldn't allow these to be distinguished. I understand that it doesn't solve the OP's hashing problem.