swift234

change the floating point printing format to be more concise.  It wouldn't surprise me if this
wasn't perfect, but it is close enough for now.  We now print 4.0 instead of 4.000000.



Swift SVN r1558