There seems to be an issue when a cast is performed from a floating-point number that is larger than the maximum Integer to an Integer. In this case, the value should just be the largest Integer as ...
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., ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results