Create mantissa-to-integer.xsl