Half of a degree. Doesn’t sound like much, does it? When you tweak your heating at home by half a degree, it doesn’t feel very different. But on our…