Keysight have their standard altitude specification up to 3,000m and some of their military products are specified to 30,00ft. Beyond that you would derate the voltage rating, and possibly have some loss of accuracy. The data is usually presented in the Paschen curve, and the slope in that region of the graph suggests much less than a factor of 2 derating.