I&#x27;m also not sure I&#x27;m getting you. In JSON, types can be unambiguously deferred by syntax&#x2F;via gramar. You can&#x27;t mistake JSONString for JSONNumber&#x2F;JSONNullLiteral&#x2F;JSONBooleanLiteral, the type is absolutely clear from the syntax. So I don&#x27;t see how a schema would help here. What would the schema express? Surely not &quot;this is a number&quot; as it is clear without the schema. What then?<p>And what exactly do you mean by &quot;semantics around type handling are implied&quot;, especially in `{ number: 1.0000000000000000000000000000001 }` case?