Multiplies $double-var1 by $double-var2. The * operator invokes the double-multiply operator.
op:double-multiply(xs:double $double-var1, xs:double $double-var2) —> xs:double
Represents a double precision (64 bit) floating point number, for example: 1.1. |
||
Represents a double precision (64 bit) floating point number, for example: 1.1. |
Returns the double precision (64 bit) floating point value of multiplying $double-var1 by $double-var2.
Invoking double-multiply("2.0","3.0") returns the double precision floating point value: 6.0 as shown in the following example query:
<double-multiply>{op:double-multiply("2.0","3.0")}</double-multiply>
The preceding query generates the following result:
<double-multiply>6.0</double-multiply>
W3C double data type description.
W3C numeric-multiply operator description.