wrong representation of floating point numbers

[rschumi0]

K-Java seems to wrongly represent (negative) floating point numbers that are close to zero, it produces "-0e+00.0" instead of just "-0.0".

(Similarly infinity values are incorrectly represented, e.g., "-Infinity.0".)