use 'Integer' when printing C types to avoid overflow on 32 bit ghcs
use 'Integer' when printing C types to avoid overflow on 32 bit ghcs

Ignore-this: 2330c6d8443cc0be3679329afed607fa

darcs-hash:8b60afa3c7047b822ea719701c49481a21b18060

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc