Bug introduced in 10.0 and fixed in 10.0.2
I want to format numbers in decimal notation and chose TextString
for this task. But today, when looking at the final result of my 3-weeks measurement, the sign seemed odd. I traced it to the following, unexpected behaviour of TextString
:
TextString[1.0]
(* 1.0 *)
TextString[-1.0]
(* -1.0 *)
TextString[-0.5]
(* 0.5 UNEXPECTED *)
Using Trace
gave a huge string of output that I am unable to interpret. Is TextString
the wrong tool for this job?