A/C no point in double, Arduino treats it a single precision float.
Occupancy controlled ventilation (DCV) motion sensors & CO2
CPD - October 2012: Demand-controlled ventilation to reduce fan energy use | Chartered Institution of Building Services Engineers - CIBSE Journal
However, unless it goes above the recommended 1,000 ppm (compared with outdoor CO2 levels of about 400ppm) it will have a negligible affect on the occupants
Good website, lots of info on many topics