When the pressure of a fixed mass of gas is doubled at constant temperature, the volume of the gas is