wrong representation of floating point numbers

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".)