wrapped unsuitable int types for MIC in #ifndef MIC