Fix printing of special float values in C# grade.

library/string.m:
	In the C# grade, do not append ".0" to a special float
	value when converting it to a string.

tests/hard_coded/write_special_float.exp3:
	Alternative expected output for this for use with the
	Java and C# grades.

NEWS:
	Announce the fix.