K 10 svn:author V 6 andrew K 8 svn:date V 27 2013-09-07T22:14:30.452858Z K 7 svn:log V 334 Fix the VCVT instruction. It must round towards zero when converting from a floating-point to an integer value. This was not the case causing issues when printing certain values. There is a VCVTR instruction that will round depending on the current rounding mode. We don't yet support this instruction, or setting the rounding mode. END