Open rschumi0 opened 4 years ago
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".)