Update mantissa-to-integer.xsl

Formatting.