[ADD] XQuery 3.1: new type "xs:numeric"