Has anyone seen or been involved with the installation of medical air and instrument air piping with pipe sizes of 10″ or 12″?

Working on a project in which the design engineer is indicating these large pipe sizes for a high-rise hospital.