Fixed bug in json formatted floating point.

MainWin.py

@@ -2029,9 +2029,14 @@ def sanitize( template ):
 		def fixBigFloat( f ):
 			if len(f) > 6:
 				try:
-					d = f.split('.')[1]
-					return '{:.5f}'.format(float(f)).rstrip('0') if len(d) > 5 else f
+					d = f.split('.')[1]					# Get decimal part of the number.
+					max_precision = 5
+					if len(d) > max_precision:
+						f = '{val:.{pr}f}'.format(pr=max_precision, val=float(f)).rstrip('0')	# Reformat with a shorter decimal and remove trailing zeros.
+						if f.endswith('.'):
+							f += '0'		# Ensure a zero follows the decimal point (json format spec).
 				except IndexError:
+					# Number does not have a decimal point.
 					pass
 			return f
 

Version.py

@@ -1 +1 @@
-AppVerName="CrossMgr 3.1.28-private"
+AppVerName="CrossMgr 3.1.29-private"