Iron: Long range constraints compare through Double and fail above 2^53
Fixed · medium · Soundness bug
Greater, Less and Multiple on Long values compare through Double, so the checks reject or accept values above 2^53 in error. For example, 2^53 + 1 fails Greater of 2^53.
Found: ; reported: ; status since: . Reporter: Mike Murunov
Page for this report · Public report · Fix or proposed fix (see status)
The suggested fix looks good to me. … Happy to review and accept the PR!