From subtypes to supertypes (xs:NMTOKEN where xs:string is required).
Between numeric types (xs:decimal to xs:double, etc.)
Computing effective boolean values (“NaN” to false())
From “untyped” values