Fix includes in make_int_range