Why would they do so? It's semantically distinct JSON, even JS itself treats it differently?

dwattttt a day ago | parent | next [-]

Time for a trip to the Abbey of Hidden Absurdities.

hiciu a day ago | parent | prev [-]

It's PHP. Handling numbers in PHP is complicated enough that a reasonable person would not trust it by default.

	▲	int_19h 12 hours ago \| parent [-]
		I know that PHP will treat a string as if it were a number if you try to use it in a context where number is expected; JS does the same thing. But why would that affect JSON deserialization in a way that makes numbers and strings indistinguishable in principle (causing the loss of precision as described here)?