Real.toString

[Stephen Weeks]

> The  %g format indicates that it only includes a decimal point if there is at
> least one digit to the right of it, which is the reason that no decimal point
> appears  in our output.  Short of testing and doing horrible things by hand I
> have no solution.
> 
> On a more serious note, the Real.fmt function is not at all thread safe.   (I
> REALLY HATE THREADS.)
> 
> I think that this function was already on the list for me to fix.

It's been on your list for a while to fix Real.fmt, but it is a really low
priority.  Nobody has ever complained.