SERVER-9072 KeyRange in range_arithmetic.h