integer variable values are currently wrapped with with_precision, because they look like number values. This means that when the attempt is resumed, they're loaded as number values, which can break type-checking for functions that only want an integer.
with_precision is redundant for integers, so it shouldn't be used.
integervariable values are currently wrapped withwith_precision, because they look likenumbervalues. This means that when the attempt is resumed, they're loaded asnumbervalues, which can break type-checking for functions that only want an integer.with_precisionis redundant for integers, so it shouldn't be used.