This PR is a putative fix for #1126, where a NumberFormatException can be raised when trying to compare integer values if one of the values is too large fit into a Java integer.
The fix is simply to catch the exception and fall back to comparing the integers based on their string literal representations.
ignazio1977
commented
4 months ago
This PR is a putative fix for #1126, where a
NumberFormatExceptioncan be raised when trying to compare integer values if one of the values is too large fit into a Java integer.The fix is simply to catch the exception and fall back to comparing the integers based on their string literal representations.