René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"casting a floating-point number to an integer","articleBody":"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 documented in [Section 5.1.3 of the JLS](https://docs.oracle.com/javase/specs/jls/se7/html/jls-5.html#jls-5.1.3).\r\nHowever, K-Java performs this cast in the same way as a long to int cast as illustrated by the following example.\r\n```\r\nSystem.out.println(((int)2147483648L));\r\nSystem.out.println(((int)2147483648.0)); // should be 2147483647\r\n```\r\nThe same issue also occurs for a cast to other data types when floating-point numbers are involved.","author":{"url":"https://github.com/rschumi0","@type":"Person","name":"rschumi0"},"datePublished":"2020-06-01T23:14:14.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/64/java-semantics/issues/64"}