Industrial gas manufacturing