This could be a more accurate example for the feature I described,

<xsl:variable name="num" select="xs:double('1e4')" as="xs:float" />
<xsl:value-of select="$num" />

This runs fine with Saxon 9.x.

On Wed, Jan 7, 2009 at 3:55 PM, Mukul Gandhi <gandhi.mukul@xxxxxxxxx> wrote:
> On Wed, Jan 7, 2009 at 3:28 PM, Andrew Welch <andrew.j.welch@xxxxxxxxx> wrote:
>> I guess it's more like:
>>
>> Double d = 1e4;
>> Float f = d.floatValue();
>
> This is a Java syntax for extracting float contents (perhaps, with
> loss of information) from a double value, and assigning to a float
> variable.
>
> My point was that, float = double assignment gives a compilation error
> with Java.
>
> But a
> float = double   assignment works with XSLT 2.0 without giving any
> warning or a error.
>
> It seems to me, Java has a stricter static typing rules than XSLT 2.0.



-- 
Regards,
Mukul Gandhi