rewrite cohomology with integers instead of nats