Floats with zeros after decimal point and integers are treated as identical about json-diff HOT 2 OPEN

Additional note: while NodeJS's JSON.parse() yields identical results for the two above documents, some tools do not, such as PHP 8.1's json_decode:

<?php

$old = json_decode('{"amount": 42.0}');
$new = json_decode('{"amount": 42}');

if ($old->amount === $new->amount) {
    echo "equal\n";
} else {
    echo "not equal\n";
}
// outputs 'not equal'

That's because unlike JS, PHP has distinct float and integer types and it parses the two fields as two different types due to the decimal point's presence/absence.

That may be the Wrong Thing (as is true of so much of PHP), but it's a relevant point, since it is a widely-deployed web programming language that does not treat the sample documents as semantically identical.

from json-diff.

Here are similar cases with numbers that is too large, e.g. 282231934395265024. After running json-diff, it will be round down to 282231934395265020 in the output. I suppose it is because precision of floating number in JavaScript is limited?

from json-diff.