improve performance of successful int extract by ~30% by avoiding calls to __index__
where redundant
#3742
The logs for this run have expired and are no longer available.
Loading
__index__
where redundant
#3742