added xsd type-promotion