You are correct that all of the potential value types are lexically casted into a string representation, and there is no way to conclude that a "10" is

10

or

"10"