So, there&#39;s a weird int_of_string bug where positive decimal numbers are sometimes read in as negative numbers without error.&nbsp; Here&#39;s the bug:<br><br><a href="http://caml.inria.fr/mantis/view.php?id=0004210">http://caml.inria.fr/mantis/view.php?id=0004210
</a><br><br>This has been marked as &quot;wontfix&quot; in the bug database because apparently there&#39;s some weird spot in the lexer that depends on the wrong behavior of int_of_string.&nbsp; <br><br>First of all, people should be aware of this behavior and should defend against it in their code.&nbsp; Secondly, the justification for not fixing it seems really thin.&nbsp; The behavior seems obviously wrong, and it&#39;s hard to see why one wouldn&#39;t simply fix the lexer (perhaps by providing an alternate broken implementation of int_of_string) and leave the ordinary int_of_string where it is.
<br><br>y<br>