Alter formatting of printed doubles written to the optimizer trace
	to ensure it is clear they ARE floating point numbers.