strdt("1234", "xsd:integer")="1234"^^