The operator * multiplies two numbers. If the operands are of different types, XPath 2.0 specifications say that one of them is promoted to the type of the other. <strike></strike> The result is the same type as the operands after promotion.