fix types in OS X getNumCores

(aside: why isn't this in a OS* file somewhere?)