cirrus-uchicago/symbolon/avoid-arithmetic-comparisonsskill versions