The div operator performs floating-point division according to IEEE 754.
Interactive xlab: [xsl:value-of] [xsl:template]