be explicit about what integer type we're using

Fixes the OSX build.