<?xml version="1.0"?>
<!-- $Id: ieee754-xpath.xsl 3692 2004-06-16 22:45:05Z lefevre $ -->

<!--
  According to the XPath specifications,
    xsltproc ieee754-xpath.xsl ieee754-xpath.xsl
  should return "OK".
  For more information, see:
    * http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=206549
    * http://bugzilla.gnome.org/show_bug.cgi?id=123297
  -->

<xsl:stylesheet version="1.0"
                xmlns:xsl="http://www.w3.org/1999/XSL/Transform">

<xsl:output method="text" indent="no"/>

<xsl:template match="/">
  <xsl:choose>
    <xsl:when test="9007199254740992 + 1.00001 = 9007199254740992">
      <xsl:text>Not a conforming XPath implementation.</xsl:text>
    </xsl:when>
    <xsl:otherwise>
      <xsl:text>OK</xsl:text>
    </xsl:otherwise>
  </xsl:choose>
  <xsl:text>&#10;</xsl:text>
</xsl:template>

</xsl:stylesheet>