Update mantissa-to-integer.xsl