`IntRange.first` is more efficient than `IntRange....
# random
k
IntRange.first
is more efficient than
IntRange.start
because the former returns a primitive int while the latter returns a boxed int. Do you think there should be an inspection for this?