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