out_float

[Steven Harp]

I've noticed that sometimes a double value is rendered strangely
in log output. (Genode 18.05, x86_32)  E.g.

    unsigned N1 = 3300;
    unsigned N2 = 5000 - N1;
    double div1 = N1 / 1000.0;
    double div2 = N2 / 1000.0;
    log(N1,"/1000.=",div1,", ",N2,"/1000. =",div2);
// ...

[init -> test] 3300/1000.=3.299999, 1700/1000. =1.6a0

I know the log facility is not the place for fancy math-mode,
but it would be handy not to have to mentally parse out the
extraneous "a".  I could file an issue if this is deemed 
something worth fixing.  Maybe there is a workaround short of
linking with libc?

// Steve