[xsl] XSLT 2.0 Decimal number silliness

[Jeff Kenton <jkenton@xxxxxxxxxxxxx>]

I've been looking at XSLT 2.0 decimal numbers (again), and I still think the WC needs to do better.

Consider the following stylesheet:

<?xml version="1.0" encoding="utf-8"?>
<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"; version="2.0" >

<xsl:template match="/">~
<xsl:value-of select="2.0 div 3.0" />~
<xsl:value-of select="0.444 div 0.666" />~
</xsl:template>

</xsl:stylesheet>

Using Saxon 7.x, this results in:

<?xml version="1.0" encoding="UTF-8"?>~
0.666666666666666667~
0.666666666666666666666667~

Both lines of output should be equal.  There's got to be something better.  At least allow specification of number of fraction digits.

--jeff